Pages that link to "Item:Q2500689"
From MaRDI portal
The following pages link to Safe manual memory management in Cyclone (Q2500689):
Displaying 4 items.
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation (Q2437794) (← links)
- A linear/producer/consumer model of classical linear logic (Q4637629) (← links)
- Syntactic soundness proof of a type-and-capability system with hidden state (Q4912884) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)