Mezzo

MaRDI QIDQ26110swMATHFDO

Official website http://protz.github.io/mezzo/

Described by source

• Type soundness and race freedom for Mezzo

Cited in

(12)

• A game semantics of concurrent separation logic
• Alcove
• A concurrent constraint programming interpretation of access permissions
• Concise read-only specifications for better synthesis of programs with pointers
• MoSeL
• Cyclone
• Koka
• Pilsner
• Alms
• Rust
• Temporary read-only permissions for separation logic
• RustBelt

This page was built for software: Mezzo