Recommendations
Cites work
- scientific article; zbMATH DE number 3874579 (Why is no real title available?)
- scientific article; zbMATH DE number 3235679 (Why is no real title available?)
- scientific article; zbMATH DE number 3276170 (Why is no real title available?)
- scientific article; zbMATH DE number 3303654 (Why is no real title available?)
- A theory of type polymorphism in programming
- Analysis of functional programs to detect run-time garbage cells
- List processing in real time on a serial computer
- Polymorphic type, region and effect inference
- Recursive programming
- Transformations and reduction strategies for typed lambda expressions
- Type and behaviour reconstruction for higher-order concurrent programs
Cited in
(49)- Static Region Analysis for Mercury
- A type system with usage aspects
- Region-based resource management and lexical exception handlers in continuation-passing style
- Graded modal dependent type theory
- A retrospective on region-based memory management
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
- Safety-critical Java programs from \textsf{Circus} models
- Backwards type analysis of asynchronous method calls
- Types for the ambient calculus
- A constraint-based region inference algorithm
- Monadic regions
- Typing correspondence assertions for communication protocols
- Distributed call-tracking for security
- Typing Correspondence Assertions for Communication Protocols
- Safe manual memory management in Cyclone
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Exception handling for copyless messaging
- Types and trace effects for object orientation
- Type-based cost analysis for lazy functional languages
- Secrecy and group creation
- scientific article; zbMATH DE number 7526054 (Why is no real title available?)
- Semantics of memory management for polymorphic languages
- Region-based memory management for Mercury programs
- All structured programs have small tree width and good register allocation
- scientific article; zbMATH DE number 1753950 (Why is no real title available?)
- scientific article; zbMATH DE number 2090526 (Why is no real title available?)
- scientific article; zbMATH DE number 1693042 (Why is no real title available?)
- Typing termination in a higher-order concurrent imperative language
- Monadic regions
- Syntactic type soundness results for the region calculus
- Modular inference of subprogram contracts for safety checking
- Dynamic state restoration using versioning exceptions
- A type system for counting instances of software components
- Weak updates and separation logic
- Syntactic type soundness for the region calculus
- Assigning types to processes
- Linear types and non-size-increasing polynomial time computation.
- Application-controlled memory management in a single address space environment
- Syntactic soundness proof of a type-and-capability system with hidden state
- Verifying pointer and string analyses with region type systems
- Region-based memory management in Prolog
- Real-time MLton: a standard ML runtime for real-time functional programs
- Programmed deallocation without dangling reference
- A refinement methodology for object-oriented programs
- A language for generic programming in the large
- Programming Languages and Systems
- An Inference Algorithm for Guaranteeing Safe Destruction
- Typing Safe Deallocation
- Secure the clones. Static enforcement of policies for secure object copying
This page was built for publication: Region-based memory management
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q676777)
