Work

Dafny vs. Dala: Experience with Mechanising Language Design

Year: 2024

Type: conference-paper

DOI: 10.1145/3678721.3686228

Authors: James Noble, Julian Mackay, Tobias Wrigstad, Andrew Fawcet, Michael Homer

Institutions: Australian National University, Victoria University of Wellington, Uppsala University

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4402526895

FWCI: 0.881

Cites: 24

Cited by: 3

Related to: 10