A correct and useful incremental copying garbage collector

International Symposium on Memory Management, ISMM

Volumn , Issue , 2007, Pages 129-140

  Kero, Martin ^a   Nordlander, Johan ^a   Lindgren, Per ^a  

^a LULEÅ UNIVERSITY OF TECHNOLOGY   (Sweden)

Author keywords

Incremental copying garbage collection; Labeled transition system

Indexed keywords

BOOLEAN FUNCTIONS;

(E ,3E) PROCESS; COLLECTOR (FLOTATION); FINITE NUMBERS; FORMAL MODELING; GARBAGE COLLECTOR (GC); IN ORDER; INTERNATIONAL SYMPOSIUM; MEMORY USAGE; MEMORY-MANAGEMENT; REAL TIME PROPERTIES; RUN TIME; SCHEDULABILITY; STORAGE SPACES; TRANSITION (JEL CLASSIFICATIONS:E52 ,E41 ,E31); TWO DIMENSIONS;

DATA STORAGE EQUIPMENT;

EID: 42149094957     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1296907.1296924     Document Type: Conference Paper

References (16)

1. Henry G. Baker. List processing in real time on a serial computer. Communications of the ACM, 21(4):280-294, 1978.
2. Mordechai Ben-Ari. Algorithms for on-the-fly garbage collection. ACM Trans. Program. Lang. Syst., 6(3):333-344, 1984.
3. L. Birkedal, N. Torp-Smith, and J.C. Reynolds. Local reasoning about a copying garbage collector. In Proceedings of the 31-st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pages 220-231. ACM Press, January 2004.
4. Lars Birkedal and Mads Tofte. A Constraint-Based Region Inference Algorithm. Theoretical Computer Science, 258:299-392, 2001.
5. Rodney A. Brooks. Trading data space for reduced time and code space in real-time garbage collection on stock hardware. In LFP '84: Proceedings of the 1984 ACM Symposium on LISP and functional programming, pages 256-262, 1984.
6. Magnus Carlsson, Johan Nordlander, and Dick Kieburtz. The Semantic Layers of Timber. In The First Asian Symposium on Programming Languages and Systems (APLAS), Beijing, 2003. C Springer-Verlag., 2003.
7. C. J. Cheney. A nonrecursive list compacting algorithm. Communications of the ACM, 13(11):677-678, 1970.
8. Edsger W. Dijkstra, Leslie Lamport, A. J. Martin, C. S. Scholten, and E. F. M. Steffens. On-the-fly garbage collection: an exercise in cooperation. Communications of the ACM, 21(11):966-975, 1978.
9. Haruo Hosoya and Akinori Yonezawa. Garbage Collection via Dynamic Type Inference - A Formal Treatment. Lecture Notes in Computer Science, 1473:215-239, Jan 1998.
10. Andrew McCreight, Zhong Shao, Chunxiao Lin, and Long Li. A General Framework for Certifying Garbage Collectors and Their Mutators. In Proceedings of the ACM SIGPLAN 2007 Conference on Programming Language Design and Implementation (PLDI'07), pages 468-479, San Diego, CA, USA, June 2007.
11. Robin Milner. Communicating and mobile systems: the π-calculus. Cambridge University Press, 1999.
12. Greg Morrisett, Matthias Felleisen, and Robert Harper. Abstract models of memory management. In FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture, pages 66-77, New York, NY, USA, 1995. ACM Press.
13. David M. Russinoff. A mechanically verified, incremental garbage collector. Formal Aspects of Computing, 6:359-390, 1994.
14. Guy L. Steele. Multiprocessing compactifying garbage collection. Communications of the ACM, 18(9):495-508, September 1975.
15. Guy L. Steele. Corrigendum: Multiprocessing compactifying garbage collection. Communications of the ACM, 19(6):354, June 1976.
16. Mads Tofte and Jean-Pierre Talpin. Region-Based Memory Management. Information and Computation, 1997.