Mezzo

swMATH14204MaRDI QIDQ26110

No author found.

Described by source

• Type Soundness and Race Freedom for Mezzo

Related Items (4)

Concise Read-Only Specifications for Better Synthesis of Programs with Pointers ⋮ A game semantics of concurrent separation logic ⋮ Temporary Read-Only Permissions for Separation Logic ⋮ A concurrent constraint programming interpretation of access permissions

This page was built for software: Mezzo