Kalas: A Verified, End-To-End Compiler for a Choreographic Language
Paper in proceeding, 2022
Compiler Verification
Interactive Theorem Proving
Choreographies
Author
Johannes Åman Pohjola
University of New South Wales (UNSW)
Alejandro Gómez Londoño
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
James Shaker
Australian National University
M. Norrish
Australian National University
Leibniz International Proceedings in Informatics, LIPIcs
18688969 (ISSN)
Vol. 237 279783959772525 (ISBN)
Haifa, Israel,
Subject Categories
Computer Engineering
Embedded Systems
Computer Systems
DOI
10.4230/LIPIcs.ITP.2022.27