Type Soundness and Race Freedom for Mezzo
From MaRDI portal
Publication:5170717
DOI10.1007/978-3-319-07151-0_16zbMath1416.68029OpenAlexW136982782MaRDI QIDQ5170717
Thibaut Balabonski, François Pottier, Jonathan Protzenko
Publication date: 24 July 2014
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-07151-0_16
Related Items (3)
Concise Read-Only Specifications for Better Synthesis of Programs with Pointers ⋮ A game semantics of concurrent separation logic ⋮ Mezzo
This page was built for publication: Type Soundness and Race Freedom for Mezzo