A constraint-based region inference algorithm

DOI10.1016/S0304-3975(00)00025-6zbMath0974.68078MaRDI QIDQ5941200

Lars Birkedal, Mads Tofte

Publication date: 20 August 2001

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

zbMATH Keywords

regionsdynamic storage managementstandard ML

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (4)

Dynamic state restoration using versioning exceptions ⋮ HM(X) type inference is CLP(X) solving ⋮ Region Analysis for Race Detection ⋮ Syntactic type soundness results for the region calculus

Uses Software

• ML
• ALGOL 60

Cites Work

• Region-based memory management
• Revised report on the algorithmic language ALGOL 60
• A theory of type polymorphism in programming
• Polymorphic type, region and effect inference
• Unnamed Item

This page was built for publication: A constraint-based region inference algorithm