Region-based memory management
From MaRDI portal
Publication:676777
DOI10.1006/INCO.1996.2613zbMATH Open0876.68027DBLPjournals/iandc/TofteT97OpenAlexW2087875803WikidataQ55222538 ScholiaQ55222538MaRDI QIDQ676777FDOQ676777
Authors: M. Tofte, Jean-Pierre Talpin 
Publication date: 12 November 1997
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/9117c75f62162b0bcf8e1ab91b7e25e0acc919a8
Recommendations
Theory of programming languages (68N15) Theory of software (68N99) Theory of operating systems (68N25)
Cites Work
- A theory of type polymorphism in programming
- Title not available (Why is that?)
- Polymorphic type, region and effect inference
- List processing in real time on a serial computer
- Transformations and reduction strategies for typed lambda expressions
- Title not available (Why is that?)
- Analysis of functional programs to detect run-time garbage cells
- Type and behaviour reconstruction for higher-order concurrent programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Recursive programming
Cited In (49)
- Backwards type analysis of asynchronous method calls
- Syntactic type soundness results for the region calculus
- A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation
- Typing Safe Deallocation
- A language for generic programming in the large
- Application-controlled memory management in a single address space environment
- Region-based memory management for Mercury programs
- Distributed call-tracking for security
- Syntactic type soundness for the region calculus
- Graded modal dependent type theory
- A constraint-based region inference algorithm
- Types for the ambient calculus
- Dynamic state restoration using versioning exceptions
- An Inference Algorithm for Guaranteeing Safe Destruction
- Title not available (Why is that?)
- Verifying pointer and string analyses with region type systems
- Region-based resource management and lexical exception handlers in continuation-passing style
- A type system for counting instances of software components
- Weak updates and separation logic
- Linear types and non-size-increasing polynomial time computation.
- Possible worlds and resources: The semantics of \(\mathbf{BI}\)
- Secrecy and group creation
- Typing correspondence assertions for communication protocols
- Type-based cost analysis for lazy functional languages
- Modular inference of subprogram contracts for safety checking
- Assigning types to processes
- Types and trace effects for object orientation
- Monadic regions
- Safe manual memory management in Cyclone
- Title not available (Why is that?)
- Region-based memory management in Prolog
- Monadic regions
- Static Region Analysis for Mercury
- A retrospective on region-based memory management
- All structured programs have small tree width and good register allocation
- Typing termination in a higher-order concurrent imperative language
- Typing Correspondence Assertions for Communication Protocols
- Title not available (Why is that?)
- Syntactic soundness proof of a type-and-capability system with hidden state
- A refinement methodology for object-oriented programs
- Secure the clones. Static enforcement of policies for secure object copying
- Safety-critical Java programs from \textsf{Circus} models
- Programmed deallocation without dangling reference
- Exception handling for copyless messaging
- A type system with usage aspects
- Real-time MLton: a standard ML runtime for real-time functional programs
- Title not available (Why is that?)
- Semantics of memory management for polymorphic languages
- Programming Languages and Systems
Uses Software
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)
