@device(postscript)
@libraryfile(Mathematics10)
@libraryfile(Accents)
@style(fontfamily=timesroman,fontscale=11)
@pagefooting(immediate, left "@c<Technical Report 1996>",
center "@c<Computer Science>",
right "@c<Carnegie Mellon>")
@heading(Semantics of Memory Management for Polymorphic Languages)
@heading(CMU-CS-96-176)
@center(@b(Greg Morrisett, Robert Harper))
@center(September 1996@foot<Also appears as CMU-CS-FOX-96-04>)
@center(FTP: CMU-CS-96-176.ps)
@blankspace(1)
@begin(text)

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 management strategies,
including type-based, tag-free garbage collection; tail-call elimination; 
and environment strengthening.  

@blankspace(2line)
@begin(transparent,size=10)
@b(Keywords:@ )@c<Type theory, operational semantics, garbage collection,
memory management>
@end(transparent)
@blankspace(1line)
@end(text)
@flushright(@b[(56 pages)])