Pages that link to "Item:Q3617435"
From MaRDI portal
The following pages link to An Inference Algorithm for Guaranteeing Safe Destruction (Q3617435):
Displaying 3 items.
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation (Q2437794) (← links)
- Formal Certification of a Resource-Aware Language Implementation (Q3183530) (← links)
- An Inference Algorithm for Guaranteeing Safe Destruction (Q3617435) (← links)
