Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Type-Preserving Garbage Collectors Daniel C. Wang Andrew W. Appel
 

Summary: Type-Preserving Garbage Collectors
Daniel C. Wang Andrew W. Appel
Department of Computer Science
Princeton University
Princeton, NJ 08544 USA
Abstract
By combining existing type systems with standard type-
based compilation techniques, we describe how to write
strongly typed programs that include a function that acts
as a tracing garbage collector for the program. Since the
garbage collector is an explicit function, we do not need to
provide a trusted garbage collector as a runtime service to
manage memory.
Since our language is strongly typed, the standard
type soundness guarantee "Well typed programs do not go
wrong" is extended to include the collector. Our type safety
guarantee is non-trivial since not only does it guarantee the
type safety of the garbage collector, but it guarantees that
the collector preservers the type safety of the program be-
ing garbage collected. We describe the technique in detail

  

Source: Appel, Andrew W. - Department of Computer Science, Princeton University

 

Collections: Computer Technologies and Information Sciences