Kalas: A Verified, End-To-End Compiler for a Choreographic Language

Johannes Åman Pohjola, Alejandro Gómez-Londoño, James Shaker, Michael Norrish. Kalas: A Verified, End-To-End Compiler for a Choreographic Language. In June Andronick, Leonardo de Moura, editors, 13th International Conference on Interactive Theorem Proving, ITP 2022, August 7-10, 2022, Haifa, Israel. Volume 237 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [doi]

Abstract

Abstract is missing.