Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  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
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