The following pages link to Region-based memory management (Q676777):
Displaying 35 items.
- A language for generic programming in the large (Q532409) (← links)
- Modular inference of subprogram contracts for safety checking (Q604392) (← links)
- Dynamic state restoration using versioning exceptions (Q853735) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- Typing termination in a higher-order concurrent imperative language (Q979082) (← links)
- Types and trace effects for object orientation (Q1029806) (← links)
- All structured programs have small tree width and good register allocation (Q1271620) (← links)
- Typing correspondence assertions for communication protocols (Q1399972) (← links)
- Linear types and non-size-increasing polynomial time computation. (Q1401943) (← links)
- A type system for counting instances of software components (Q1758151) (← links)
- Weak updates and separation logic (Q1758657) (← links)
- Secrecy and group creation (Q1763430) (← links)
- Possible worlds and resources: The semantics of \(\mathbf{BI}\) (Q1826634) (← links)
- Syntactic type soundness results for the region calculus (Q1854515) (← links)
- Assigning types to processes (Q1854525) (← links)
- Distributed call-tracking for security (Q1869981) (← links)
- Verifying pointer and string analyses with region type systems (Q2014831) (← links)
- Graded modal dependent type theory (Q2233475) (← links)
- Type-based cost analysis for lazy functional languages (Q2398175) (← links)
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation (Q2437794) (← links)
- Exception handling for copyless messaging (Q2441510) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- Types for the ambient calculus (Q2497144) (← links)
- A Refinement Methodology for Object-Oriented Programs (Q3067544) (← links)
- An Inference Algorithm for Guaranteeing Safe Destruction (Q3617435) (← links)
- Syntactic soundness proof of a type-and-capability system with hidden state (Q4912884) (← links)
- Typing Correspondence Assertions for Communication Protocols (Q4917053) (← links)
- Syntactic Type Soundness for the Region Calculus (Q4921505) (← links)
- Real-time MLton: A Standard ML runtime for real-time functional programs (Q5019014) (← links)
- (Q5076059) (← links)
- Region-based memory management for Mercury programs (Q5398287) (← links)
- A type system with usage aspects (Q5451967) (← links)
- Typing Safe Deallocation (Q5458390) (← links)
- Secure the Clones (Q5892492) (← links)
- A constraint-based region inference algorithm (Q5941200) (← links)
