3671 search results - page 4 / 735 » On Garbage and Program Logic |
RTSS
1999
IEEE
13 years 11 months ago
1999
IEEE
We show the difficulties that arise for the implementation of a real-time garbage collector in a multi-threaded system. A mechanism for synchronization between threads and the gar...
TPHOL
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We present a comprehensive set of tactics that make it practical to use separation logic in a proof assistant. These tactics enable the verification of partial correctne...
IWMM
1998
Springer
13 years 11 months ago
1998
Springer
Mark and sweep garbage collectors (GC) are classical but still very efficient automatic memory management systems. Although challenged by other kinds of systems, such as copying c...
IWMM
2009
Springer
14 years 1 months ago
2009
Springer
Magpie is a source-to-source transformation for C programs that enables precise garbage collection, where precise means that integers are not confused with pointers, and the liven...
IWMM
1998
Springer
13 years 11 months ago
1998
Springer
For Garbage Collection (GC) to be a generally accepted means of memory management it is required to prove its efficiency. This paper presents a scheme that guarantees that an incr...