Region-based memory management

DOI10.1006/inco.1996.2613zbMath0876.68027DBLPjournals/iandc/TofteT97OpenAlexW2087875803WikidataQ55222538 ScholiaQ55222538MaRDI QIDQ676777

Mads 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

zbMATH Keywords

memory managementdynamic memory allocationinference system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of operating systems (68N25) Theory of software (68N99)

Related Items (36)

Dynamic state restoration using versioning exceptions ⋮ Type-based cost analysis for lazy functional languages ⋮ Modular inference of subprogram contracts for safety checking ⋮ Typing correspondence assertions for communication protocols ⋮ Linear types and non-size-increasing polynomial time computation. ⋮ Region-based resource management and lexical exception handlers in continuation-passing style ⋮ A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation ⋮ Exception handling for copyless messaging ⋮ Safety-critical Java programs from \textsf{Circus} models ⋮ Graded modal dependent type theory ⋮ Region-based memory management for Mercury programs ⋮ Backwards type analysis of asynchronous method calls ⋮ Syntactic soundness proof of a type-and-capability system with hidden state ⋮ Typing Correspondence Assertions for Communication Protocols ⋮ A type system for counting instances of software components ⋮ Weak updates and separation logic ⋮ A language for generic programming in the large ⋮ Syntactic Type Soundness for the Region Calculus ⋮ Secrecy and group creation ⋮ Unnamed Item ⋮ A constraint-based region inference algorithm ⋮ Verifying pointer and string analyses with region type systems ⋮ Typing termination in a higher-order concurrent imperative language ⋮ Types for the ambient calculus ⋮ A type system with usage aspects ⋮ A Refinement Methodology for Object-Oriented Programs ⋮ An Inference Algorithm for Guaranteeing Safe Destruction ⋮ Secure the Clones ⋮ Typing Safe Deallocation ⋮ All structured programs have small tree width and good register allocation ⋮ Types and trace effects for object orientation ⋮ Possible worlds and resources: The semantics of \(\mathbf{BI}\) ⋮ Syntactic type soundness results for the region calculus ⋮ Assigning types to processes ⋮ Real-time MLton: A Standard ML runtime for real-time functional programs ⋮ Distributed call-tracking for security

Uses Software

• ML
• ALGOL 60

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recursive programming
• A theory of type polymorphism in programming
• Transformations and reduction strategies for typed lambda expressions
• Analysis of functional programs to detect run-time garbage cells
• List processing in real time on a serial computer
• Type and behaviour reconstruction for higher-order concurrent programs
• Polymorphic type, region and effect inference

This page was built for publication: Region-based memory management