Sciweavers

173 search results - page 1 / 35
» A typed interface for garbage collection
Sort
View
TLDI
2003
ACM
102views Formal Methods» more  TLDI 2003»
13 years 10 months ago
A typed interface for garbage collection
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...
Joseph Vanderwaart, Karl Crary
IWMM
2009
Springer
166views Hardware» more  IWMM 2009»
13 years 11 months ago
Garbage collection in the next C++ standard
: © Garbage Collection in the Next C++ Standard Hans-J. Boehm, Mike Spertus HP Laboratories HPL-2009-360 C++, garbage collection C++ has traditionally relied on manual memory mana...
Hans-Juergen Boehm, Mike Spertus
DAPSYS
2004
Springer
13 years 10 months ago
Analysis of the Multi-Phase Copying Garbage Collection Algorithm
The multi-phase copying garbage collection was designed to avoid the need for large amount of reserved memory usually required for the copying types of garbage collection algorithm...
Norbert Podhorszki
LFP
1992
90views more  LFP 1992»
13 years 6 months ago
Polymorphic Type Reconstruction for Garbage Collection Without Tags
Several papers ([Appe189],[Goldberg9 1]) have recently claimed that garbage collection can be performed on untagged data in the presence of ML-style type polymorphism. They rely o...
Benjamin Goldberg, Michael Gloger
IWMM
2000
Springer
78views Hardware» more  IWMM 2000»
13 years 8 months ago
On the Type Accuracy of Garbage Collection
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...
Martin Hirzel, Amer Diwan