8 search results - page 2 / 2 » Integrating Generations with Advanced Reference Counting Gar... |
SIGMETRICS
2004
ACM
14 years 1 months ago
2004
ACM
This paper explores and quantifies garbage collection behavior for three whole heap collectors and generational counterparts: copying semi-space, mark-sweep, and reference counti...
CC
2003
Springer
14 years 1 months ago
2003
Springer
vel Meta-Reasoning with Higher-Order Abstract Syntax Alberto Momigliano, Simon Ambler. A Normalisation Result for Higher-Order Calculi with Explicit Substitutions Eduardo Bonelli. ...
IWMM
2004
Springer
14 years 1 months ago
2004
Springer
The goal of the Cyclone project is to investigate type safety for low-level languages such as C. Our hardest challenge has been providing programmers control over memory managemen...