Greg Morrisett, Robert Harper  Home/Search
Context Related
Links: ACM | cmu.edu/~rwh/papers/gcpoly/hoots.ps cmu.edu/People/rwh/papers/gc...hoots.ps cmu.edu/afs/cs/user/rwh/publ...hoots.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cmu.edu/~rwh/papers/ (more) From: cmu.edu/People/rwh/papers...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a static and dynamic semantics for an abstract machine that evaluates expressions of a polymorphic programming language. Unlike traditional semantics, our abstract machine exposes many important issues of memory management, such as value sharing and control representation. We prove the soundness of the static semantics with respect to the dynamic semantics using traditional techniques. We then show how these same techniques may be used to establish the soundness of various memory... (Update)
Cited by: More
From System F to Typed Assembly Language - Greg Morrisett David (1998) (Correct)
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (Correct)
Retrospective: - Til Type-Directed Optimizing (Correct)
Active bibliography (related documents): More All
0.7: TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett, Cheng (1995) (Correct)
0.6: the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
0.3: Compiling Polymorphism Using Intensional Type Analysis - Harper, Morrisett (1995) (Correct)
Similar documents based on text: More All
0.4: An Interpretation of Standard ML in Type Theory - Harper, Stone (1997) (Correct)
0.1: Typed Closure Conversion - Minamide, Morrisett, Harper (1996) (Correct)
0.1: Intensional Polymorphism in Type-Erasure Semantics - Crary, Weirich, Morrisett (1998) (Correct)
Related documents from co-citation: More All
24: Abstract models of memory management (context) - Morrisett, Felleisen et al. - 1995
24: Typed closure conversion - Minamide, Morrisett et al. - 1996
23: TIL: A type-directed optimizing compiler for ML - Tarditi, Morrisett et al. - 1995
BibTeX entry: (Update)
Greg Morrisett and Robert Harper. Semantics of memory management for polymorphic languages. In A.D. Gordon and A.M. Pitts, editors, Higher Order Operational Techniques in Semantics, Publications of the Newton Institute. Cambridge University Press, 1997. http://citeseer.ist.psu.edu/morrisett97semantics.html More
@incollection{ morrisett97semantics,
author = "Greg Morrisett and Robert Harper",
title = "Semantics of Memory Management for Polymorphic Languages",
booktitle = "Higer Order Operational Techniques in Semantics",
publisher = "Newton Institute, Cambridge University Press",
editor = "A. Gordon and A. Pitts",
year = "1997",
url = "citeseer.ist.psu.edu/morrisett97semantics.html" }
Citations (may not include all citations):906 A structural approach to operational semantics - Plotkin - 1981
521 Compiling with Continuations (context) - Appel - 1992 ACM
384 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
325 Towards a theory of type structure (context) - Reynolds - 1974 ACM DBLP
306 A syntactic approach to type soundness - Wright, Felleisen - 1994 ACM DBLP
262 Uniprocessor garbage collection techniques - Wilson - 1992 ACM DBLP
254 Revised 4 report on the algorithmic language Scheme - Clinger, Rees - 1991
210 Til: A type-directed optimizing compiler for ml - Tarditi, Morrisett et al. - 1996 DBLP
178 Standard ML of New Jersey - Appel, MacQueen - 1991 DBLP
158 Reasoning about programs in continuation-passing style - Sabry, Felleisen - 1992 ACM DBLP
138 Type inference for polymorphic references (context) - Tofte - 1990 ACM DBLP
138 The revised report on the syntactic theories of sequential c.. - Felleisen, Hieb - 1992 ACM DBLP
138 Typed closure conversion - Minamide, Morrisett et al. - 1996
106 The categorical abstract machine (context) - Cousineau, Curien et al. - 1985 ACM DBLP
97 and parametric polymorphism (context) - Reynolds, abstraction - 1983
89 closure-passing style (context) - Appel, Jim - 1989
85 Abstract models of memory management (context) - Morrisett, Felleisen et al. - 1995
76 DEC Systems Research Center (context) - Cardelli, Technical - 1989
72 A semantic model of reference counting and its abstraction - Hudak - 1986
63 Tag-free garbage collection using explicit type parameters - Tolmach - 1994 ACM DBLP
61 Conventional and uniqueness typing in graph rewrite systems - Barendsen, Smetsers - 1993 ACM DBLP
55 Space-efficient closure representations - Shao, Appel - 1994 ACM DBLP
36 School of Computer Science (context) - Morrisett, Types et al. - 1995
35 Combining generational and conservative garbage collection: .. (context) - Demers, Weiser et al. - 1990 ACM DBLP
32 Unify and conquer (context) - Baker - 1990 ACM DBLP
31 Tag-free garbage collection for strongly typed programming l.. (context) - Goldberg - 1991 ACM DBLP
26 Polymorphic type reconstruction for garbage collection witho.. - Goldberg, Gloger - 1992 ACM DBLP
23 Garbage collection for strongly-typed languages using run-ti.. - Aditya, Flood et al. - 1994 ACM DBLP
23 Safety considerations for storage allocation optimizations (context) - Chase - 1988 DBLP
23 Run-time tags aren't necessary - Appel - 1989
19 A provable time and space efficient implementation of NESL - Blelloch, Greiner - 1996 ACM DBLP
17 LISP and Symbolic Computation (context) - Fischer - 1993
17 Proving memory management invariants for a language based on.. - Chirimar, Gunter et al. - 1992 ACM DBLP
16 Collecting more garbage - Fradet - 1994 ACM DBLP
16 A calculus for assignments in higher-order languages (context) - Felleisen, Friedman - 1987 ACM DBLP
15 Compiler-directed type reconstruction for polymorphic langua.. - Aditya, Caro - 1993
11 Natural semantics on the computer (context) - Cl'ement, Despeyroux et al. - 1985
10 Elimination des Coupures dans l'Arithm'etique d'Ordre Sup'er.. (context) - Girard, et - 1972
7 A scheme for storage allocation and garbage collection for A.. (context) - Branquart, Lewi - 1970
6 Heap storage management for the programming language Pascal (context) - Britton - 1975
5 Technical Report CS--TR (context) - Appel, of et al. - 1992
4 A Larch specification of copying garbage collection - Nettles - 1992
4 Methods of garbage collection for Algol (context) - Wodon - 1970
1 Expanded version of [41 (context) - Wilson, Computing - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.cmu.edu/~rwh/papers/): More
TIL: A Type-Directed Optimizing Compiler for ML - Tarditi, Morrisett, Cheng (1995) (Correct)
Transparent and Opaque Interpretations of Datatypes - Crary, Harper, Cheng.. (Correct)
Compiling Polymorphism Using Intensional Type Analysis - Harper, Morrisett (1995) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC