Mezzo

swMATH14204MaRDI QIDQ26110FDOQ26110

Author name not available (Why is that?)

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

Described by source

• Type soundness and race freedom for Mezzo

Cited In (12)

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

This page was built for software: Mezzo