Kalas: a verified, end-to-end compiler for a choreographic language

DOI10.4230/LIPICS.ITP.2022.27MaRDI QIDQ6572567

Could not fetch data.

Publication date: 15 July 2024

zbMATH Keywords

choreographiesinteractive theorem provingcompiler verification

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Certified compilation of choreographies with \textsf{hacc}

This page was built for publication: Kalas: a verified, end-to-end compiler for a choreographic language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572567)