173 search results - page 2 / 35 » A typed interface for garbage collection |
LFP
1994
13 years 9 months ago
1994
We present a method, adapted to polymorphically typed functional languages, to detect and collect more garbage than existing GCs. It can be applied to strict or lazy higher order ...
TOPLAS
2002
13 years 8 months ago
2002
ICDCS
2005
IEEE
14 years 2 months ago
2005
IEEE
Communication-induced checkpointing protocols that ensure rollback-dependency trackability (RDT) guarantee important properties to the recovery system without explicit coordinatio...
PLDI
2009
ACM
14 years 3 months ago
2009
ACM
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance prob...
ENTCS
2006
13 years 8 months ago
2006
We address the problem of applying resource-bounded functional programming languages in practice on object-oriented virtual machines which include calls to native methods coded in...