Garbage Collection via Dynamic Type Inference - A Fomal Treatment

Authors:
Haruo Hosoya;Akinori Yonezawa
Affiliations:
-;-
Venue:
TIC '98 Proceedings of the Second International Workshop on Types in Compilation
Year:
1998

Citing 0
Cited 3

Type-based useless variable elimination

PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Type-Based Useless-Variable Elimination

Higher-Order and Symbolic Computation
A correct and useful incremental copying garbage collector

Proceedings of the 6th international symposium on Memory management

Quantified Score

Hi-index	0.01

Visualization

Abstract