162 search results - page 9 / 33 » Type-preserving garbage collectors |
BIRTHDAY
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. This case study applies techniques of formal program development by specification refinement and composition to the problem of concurrent garbage collection. The speci...
OOPSLA
1999
Springer
14 years 21 days ago
1999
Springer
Modern generational garbage collectors look for garbage among the young objects, because they have high mortality; however, these objects include the very youngest objects, which ...
IWMM
1998
Springer
14 years 20 days ago
1998
Springer
Many high-level language compilers generate C code and then invoke a C compiler for code generation. To date, most of these compilers link the resulting code against a conservativ...
PLDI
1997
ACM
14 years 19 days ago
1997
ACM
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...
POPL
2003
ACM
14 years 8 months ago
2003
ACM
Now that the use of garbage collection in languages like Java is becoming widely accepted due to the safety and software engineering benefits it provides, there is significant int...