Typing Safe Deallocation

DOI10.1007/978-3-540-78739-6_10zbMath1133.68316OpenAlexW2171654796MaRDI QIDQ5458390

Gérard Boudol

Publication date: 11 April 2008

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78739-6_10

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Typing termination in a higher-order concurrent imperative language

Cites Work

• Unnamed Item
• Region-based memory management
• A syntactic approach to type soundness
• A retrospective on region-based memory management
• Syntactic type soundness results for the region calculus
• Region analysis and a π-calculus with groups
• Syntactic Type Soundness for the Region Calculus
• On regions and linear types (extended abstract)
• Stratified operational semantics for safety and correctness of the region calculus
• Programming Languages and Systems

This page was built for publication: Typing Safe Deallocation