A constraint-based region inference algorithm

Theoretical Computer Science

Volumn 258, Issue 1-2, 2001, Pages 299-392

  Birkedal, Lars ^a   Tofte, Mads ^b  

^a Carnegie Mellon University   (United States)

^b UNIVERSITY OF COPENHAGEN   (Denmark)

Author keywords

Dynamic storage management; Regions; Standard ML

Indexed keywords

ALGORITHMS; CONSTRAINT THEORY; MATHEMATICAL MODELS; RESPONSE TIME (COMPUTER SYSTEMS); STORAGE ALLOCATION (COMPUTER);

REGION INFERENCE;

FORMAL LOGIC;

EID: 0034915971     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(00)00025-6     Document Type: Article

References (18)

1. An introduction to inductive definitions
2. From region inference to von Neumann machines via region representation inference
3. Principal type schemes for functional programs
4. Type inference with polymorphic recursion
5. Algebraic reconstruction of types and effects
6. Type reconstruction in the presence of polymorphic recursion
7. FX-87 reference manual
8. A theory of type polymorphism in programming
9. Polymorphic type schemes and recursive definitions
10. Revised report on the algorithmic language Algol 60
11. Polymorphic type, region and effect inference
12. A region inference algorithm
13. Implementing the call-by-value lambda-calculus using a stack of regions
14. Region-based memory management
15. Uniprocessor garbage collection techniques