Certified compilation of choreographies with \textsf{hacc}
DOI10.1007/978-3-031-35355-0_3zbMATH Open1543.68088MaRDI QIDQ6535459FDOQ6535459
Authors: Luís Cruz-Filipe, Lovro Lugović, Fabrizio Montesi 
Publication date: 11 January 2024
Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) 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
- Deadlock-freedom-by-design, multiparty asynchronous global programming
- Proof-producing synthesis of ML from higher-order logic
- A core model for choreographic programming
- Procedural Choreographic Programming
- A formal theory of choreographic programming
- Certifying choreography compilation
- Title not available (Why is that?)
- 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)
