A constraint-based region inference algorithm

DOI10.1016/S0304-3975(00)00025-6MaRDI QIDQ5941200zbMATH OpenFDO

Authors Lars Birkedal, M. Tofte

Publication date 20 August 2001

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

Full work available at URL https://doi.org/10.1016/S0304-3975(00)00025-6

zbMATH Keywords

dynamic storage managementregionsstandard ML

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Region-based memory management
• Region-based memory management for Mercury programs
• Syntactic type soundness for the region calculus
• Polymorphic type, region and effect inference
• Syntactic type soundness results for the region calculus

Cites work

• A theory of type polymorphism in programming
• scientific article; zbMATH DE number 3874579 (Why is no real title available?)
• Polymorphic type, region and effect inference
• Region-based memory management
• Revised report on the algorithmic language ALGOL 60

Cited in

(10)

• Syntactic type soundness results for the region calculus
• Region Analysis for Race Detection
• Polymorphic type, region and effect inference
• A HEURISTIC METHOD FOR REGION RECONSTRUCTION FROM NOISY SAMPLES
• Region-based memory management for Mercury programs
• HM(X) type inference is CLP(X) solving
• Programming Languages and Systems
• Inferring region types via an abstract notion of environment transformation
• Region-based memory management
• Dynamic state restoration using versioning exceptions

Describes a project that uses

Uses Software

• ML
• ALGOL 60

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5941200)