Now it compiles! Certified automatic repair of uncompilable protocols

DOI10.4230/LIPICS.ITP.2023.11MaRDI QIDQ6642986zbMATH OpenFDO

Authors Luís Cruz-Filipe, Fabrizio Montesi

Publication date 26 November 2024

zbMATH Keywords

compilationtheorem provingprogram repairchoreographic programming

Mathematics Subject Classification ID

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

This page was built for publication: Now it compiles! Certified automatic repair of uncompilable protocols

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