Region-Based Memory Management (1997)

Cached

Download Links

by Mads Tofte , Jean-Pierre Talpin
Citations:280 - 8 self

Active Bibliography

57 Implementation of the typed call-by-value λ-calculus using a stack of regions – Mads Tofte - 1994
23 A Theory of Stack Allocation in Polymorphically Typed Languages – Mads Tofte, Jean-Pierre Talpin - 1993
89 From Region Inference to von Neumann Machines via Region Representation Inference – Lars Birkedal, Mads Tofte, Magnus Vejlstrup - 1996
14 A Retrospective on Region-Based Memory Management – Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg - 2004
Better Static Memory Management: Improving Region-Based Analysis – Of Higher-Order Languages, Alexander Aiken, Manuel Fähndrich, Raph Levieny - 1995
93 A Critique of Standard ML – Andrew W. Appel - 1992
Analyse Statique Comportementale des Langages de Programmation. – Analyse Statique Comportementale, Pierre Jouvelot, Ffl David K. Gifford (mit, Ffl Phil Wadler (glasgow U, De Bureau Fran��cois Irigoin, Corinne Ancourt, Ronan Keryell, Michel Lenci, Robert Mahl, Jacqueline Altimira, Annie Pech-ripaud, Et Mes 'etudiants
9 A Constraint-Based Region Inference Algorithm – Lars Birkedal, Mads Tofte - 1999
70 A Region Inference Algorithm – Mads Tofte , Lars Birkedal - 1998
91 The Marriage of Effects and Monads – Philip Wadler, Peter Thiemann - 1998
150 The Type and Effect Discipline – Jean-Pierre Talpin, Pierre Jouvelot - 1992
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
48 Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML – David Tarditi - 1996
10 Unification and Polymorphism in Region Inference – Mads Tofte, Lars Birkedal - 1996
11 Taming Effects with Monadic Typing – Richard B. Kieburtz - 1999
29 Program Analysis Using Mixed Term and Set Constraints – Manuel Fähndrich, Alexander Aiken - 1997
Estimating Uncaught Exceptions in Standard ML Programs from Type-based Equations – Kwangkeun Yi, Sukyoung Ryu, Ki-hyun Pyun
2 An Explicit Polymorphic Type System for Verifying Untrusted Low-Level Codes – Jaeyoun Chung - 2000
26 Typing References by Effect Inference – Andrew Wright - 1992