Syntactic Type Soundness for the Region Calculus

DOI10.1016/S1571-0661(04)80870-3zbMath1262.68100MaRDI QIDQ4921505

Peter Thiemann, Simon Helsen

Publication date: 10 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (1)

Typing Safe Deallocation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Region-based memory management
• Combinatory logic. With two sections by William Craig.
• The revised report on the syntactic theories of sequential control and state
• A syntactic approach to type soundness
• A computational formalization for partial evaluation
• Stratified operational semantics for safety and correctness of the region calculus

This page was built for publication: Syntactic Type Soundness for the Region Calculus