Wang, D., Appel, A.: Type-preserving garbage collectors. In: Proc. Principles of Programming Languages. (2001) 166--178 Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Checking and Inferring Local Non-Aliasing - Aiken, Foster, Kodumal, Terauchi (2003) (5 citations) (Correct)
Design and Correctness of Program Transformations Based.. - Banerjee, Heintze.. (2001) (6 citations) (Correct)
A Typed Interface for Garbage Collection - Vanderwaart, Crary (2003) (1 citation) (Correct)
A Linearly Typed Assembly Language - Cheney, Morrisett (1 citation) (Correct)
Towards An Extensible Virtual Machine - Boyapati (2002) (1 citation) (Correct)
Towards An Extensible Virtual Machine - Boyapati (2002) (1 citation) (Correct)
On Regions and Linear Types (Extended Abstract) - Walker, Watkins (2001) (Correct)
Object Ownership and Containment - Clarke (2001) (10 citations) (Correct)
On Regions and Linear Types - Walker, Watkins (15 citations) (Correct)
Linear Regions Are All You Need - Fluet, Morrisett, Ahmed (Correct)
Checking and Inferring Local Non-Aliasing - Alex Aiken Aiken (2003) (5 citations) (Correct)
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
Local Reasoning about a Copying Garbage Collector - Birkedal, Torp-Smith, Reynolds (2004) (7 citations) (Correct)
Low-Level Linear Memory Management - Hawblitzel, Wei, Huang, Krupski.. (2004) (2 citations) (Correct)
Low-Level Linear Memory Management - Hawblitzel, Huang, Krupski, Wei (2002) (2 citations) (Correct)
the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
the Garbage Collection Bibliography - Richard Jones (2003) (Correct)
Implementation and Performance Evaluation of a Safe Runtime.. - Fluet, Wang (2004) Self-citation (Wang) (Correct)
High-Assurance Common Language Runtime - Appel, Walker, Shao, Trifonov Self-citation (Appel) (Correct)
Typed Machine Language and its Semantics - Swadi, Appel (2001) (4 citations) Self-citation (Appel) (Correct)
Region-Based Memory Management in Cyclone - Grossman, Morrisett, Jim.. (60 citations) Self-citation (Wang) (Correct)
Formal Type Soundness for Cyclone's Region System - Grossman, Morrisett, Jim.. (2001) Self-citation (Wang) (Correct)
Foundational Proof-Carrying Code - Appel (2001) (44 citations) Self-citation (Appel) (Correct)
Type-Preserving Garbage Collectors - Wang, Appel (2001) (17 citations) Self-citation (Wang Appel) (Correct)
Type-Preserving Garbage Collectors - Wang, Appel (2001) (17 citations) Self-citation (Wang Appel) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC