Type-Preserving Garbage Collectors (Extended Version)
|Authors:||Wang, Daniel C., Appel, Andrew W.|
|Download Formats:||[Postscript] [PDF]|
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.