Kalas: A Verified, End-To-End Compiler for a Choreographic Language
Paper i proceeding, 2022
Compiler Verification
Interactive Theorem Proving
Choreographies
Författare
Johannes Åman Pohjola
University of New South Wales (UNSW)
Alejandro Gómez Londoño
Chalmers, Data- och informationsteknik, Formella metoder
James Shaker
Australian National University
M. Norrish
Australian National University
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 237 279783959772525 (ISBN)
Haifa, Israel,
Ämneskategorier
Datorteknik
Inbäddad systemteknik
Datorsystem
DOI
10.4230/LIPIcs.ITP.2022.27