Mezzo

swMATH14204MaRDI QIDQ26110FDOQ26110

Author name not available (Why is that?)

Described by source

• Type soundness and race freedom for Mezzo

Cited In (4)

• A concurrent constraint programming interpretation of access permissions
• Concise read-only specifications for better synthesis of programs with pointers
• Temporary read-only permissions for separation logic
• A game semantics of concurrent separation logic

This page was built for software: Mezzo