The following pages link to Region-based memory management (Q676777):
Displaying 24 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)
