Pages that link to "Item:Q2942905"
From MaRDI portal
The following pages link to A type system for borrowing permissions (Q2942905):
Displaying 5 items.
- Flexible recovery of uniqueness and immutability (Q1731519) (← 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)
- (Q5076059) (← links)
