A Typed Interface for Garbage Collection

Proceedings of the 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation

Volumn , Issue , 2003, Pages 109-122

  Vanderwaart, Joseph C ^a   Crary, Karl ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Certified code; Garbage collection; Type systems; Typed compilation

Indexed keywords

CODES (SYMBOLS); COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES;

CODE SYSTEMS;

INTERFACES (COMPUTER);

EID: 0141650639     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Perry Cheng. Scalable Real-Time Parallel Garbage Collection for Symmetric Multiprocessors. PhD thesis, Carnegie Mellon University, 2001. Available as Technical Report CMU-CS-01-174.
2. Perry Cheng and Guy E. Blelloch. A parallel, real-time garbage collector. In ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2001.
3. Karl Crary and Stephanie Weirich. Flexible type analysis. In Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP), pages 233-248, September 1999.
4. Stefan Monnier, Bratin Saha, and Zhong Shao. Principled scavenging. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 81-91, June 2001.
5. Greg Morrisett, Karl Crary, Neal Glew, and David Walker. Stack-based typed assembly language. Journal of Functional Programming, January 2002.
6. Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. ACM Transactions on Programming Languages and Systems, 21(3):527-568, May 1999.
7. George Necula. Proof-carrying code. In Proceedings of the Twenty-Fourth ACM Symposium on Principles of Programming Languages, pages 106-119, Paris, January 1997.
8. George Necula and Peter Lee. Safe, untrusted agents using proof-carrying code. In Special Issue on Mobile Agent Security, volume 1419 of Lecture Notes in Computer Science. Springer-Verlag, October 1997.
9. Daniel C. Wang. Managing Memory With Types. PhD thesis, Princeton University, 2002.
10. Daniel C. Wang and Andrew W. Appel. Type-preserving garbage collectors. In Proceedings of the Twenty-Eighth ACM Symposium on Principles of Programming Languages, pages 166-178, London, January 2001.