From Region Inference to von Neumann Machines via Region Representation Inference (1996)

Cached

Download Links

by Lars Birkedal , Mads Tofte , Magnus Vejlstrup , Nkt Elektronik
Venue:In Twenty-Third ACM Symposium on Principles of Programming Languages
Citations:91 - 9 self

Documents Related by Co-Citation

92 Better Static Memory Management: Improving Region-Based Analysis of Higher-Order Languages – Alexander Aiken, Manuel Fähndrich, Raph Levien - 1995
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
435 Uniprocessor Garbage Collection Techniques – Paul R. Wilson
32 Implementing the call-by-value lambda-calculus using a stack of regions – M Tofte, J-P Talpin - 1994
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
61 Escape Analysis: Correctness Proof, Implementation and Experimental Results – Bruno Blanchet - 1998
122 Memory Management with Explicit Regions – David Gay, Alex Aiken - 1998
588 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
605 The Definition of Standard ML (Revised – Robin Milner, Mads Tofte, Robert Harper, David Macqueen - 1997
24 A Theory of Stack Allocation in Polymorphically Typed Languages – Mads Tofte, Jean-Pierre Talpin - 1993
86 Integrating functional and imperative programming – David K Gifford, John M Lucassen - 1986
60 Lifetime analysis of dynamically allocated objects – C Ruggieri, T P Murtagh - 1988
625 Compiling With Continuations – A W Appel - 1992
9 A type-based analysis for stack allocation in functional languages – U81 J Hannan - 1995
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
90 Abstract Models of Memory Management – Greg Morrisett, Matthias Felleisen, Robert Harper - 1995
168 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
538 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
121 Polymorphic Type, Region and Effect Inference – Jean-Pierre Talpin, Pierre Jouvelot - 1991