PureCake: A Verified Compiler for a Lazy Functional Language
Artikel i vetenskaplig tidskrift, 2023
HOL4
interactive theorem proving
compiler verification
Haskell
Författare
Hrutvik Kanabar
University Of Kent
Samuel Vivien
ENS
Oskar Abrahamsson
Chalmers, Data- och informationsteknik, Formella metoder
Magnus Myreen
Chalmers, Data- och informationsteknik, Formella metoder
M. Norrish
Australian National University
Johannes Åman Pohjola
University of New South Wales (UNSW)
Riccardo Zanetti
Student vid Chalmers
Proceedings of the ACM on Programming Languages
24751421 (eISSN)
Vol. 7 145Ämneskategorier
Inbäddad systemteknik
Datavetenskap (datalogi)
DOI
10.1145/3591259