Certified compilation of choreographies with \textsf{hacc}
From MaRDI portal
Publication:6535459
DOI10.1007/978-3-031-35355-0_3zbMATH Open1543.68088MaRDI QIDQ6535459
Luís Cruz-Filipe, Fabrizio Montesi, Lovro Lugović
Publication date: 11 January 2024
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Formalization of mathematics in connection with theorem provers (68V20)
Cites Work
- Title not available (Why is that?)
- A core model for choreographic programming
- Certifying choreography compilation
- Deadlock-freedom-by-design
- Procedural Choreographic Programming
- Proof-producing synthesis of ML from higher-order logic
- A formal theory of choreographic programming
- Kalas: a verified, end-to-end compiler for a choreographic language
This page was built for publication: Certified compilation of choreographies with \textsf{hacc}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535459)
