Synthesis of Distributed Mobile Programs Using Monadic Types in Coq

DOI10.1007/978-3-642-32347-8_13zbMath1360.68760OpenAlexW2277796289MaRDI QIDQ2914742

Marco Paviotti, Marino Miculan

Publication date: 20 September 2012

Published in: Interactive Theorem Proving (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32347-8_13

zbMATH Keywords

ErlangCoq

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Related Items (1)

Mtac: A monad for typed tactic programming in Coq

Uses Software

• Coq
• Haskell
• Erlang
• CompCert

This page was built for publication: Synthesis of Distributed Mobile Programs Using Monadic Types in Coq