The following pages link to Mezzo (Q26110):
Displaying 4 items.
- A game semantics of concurrent separation logic (Q2130597) (← links)
- Temporary Read-Only Permissions for Separation Logic (Q2988642) (← links)
- A concurrent constraint programming interpretation of access permissions (Q4644356) (← links)
- Concise Read-Only Specifications for Better Synthesis of Programs with Pointers (Q5041091) (← links)