Work

First-Class Verification Dialects for MLIR - PLDI 2025 Artifact

Year: 2025

Type: article

Abstract: The artifact evaluation for "First-Class Verification Dialects for MLIR", to be published at PLDI 2025. See the README.md file for more details.

Source: HAL (Le Centre pour la Communication Scientifique Directe)

DOI: 10.5281/zenodo.15049463

Author: Fehr, Mathieu

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W6930640760

FWCI: 0.416

Cites:

Cited by: 1

Related to: