3 citations found. Retrieving documents...
Hawblitzel, C., Wei, E., Huang, H., Krupski, E., Wittie, L.: Low-level linear memory management. In: Proc. SPACE Workshop. (2004)

 Home/Search   Document Details and Download   Summary   Related Articles   Check  

This paper is cited in the following contexts:
Proofs of Soundness and Strong Normalization for Linear Memory .. - Heng Huang And (2002)   Self-citation (Hawblitzel Huang)   (Correct)

No context found.

Chris Hawblitzel, Heng Huang, Eric Krupski, and Edward Wei. Low-level linear memory management. In submitted for publication, 2002.


Linear Regions Are All You Need - Fluet, Morrisett, Ahmed   (Correct)

No context found.

Hawblitzel, C., Wei, E., Huang, H., Krupski, E., Wittie, L.: Low-level linear memory management. In: Proc. SPACE Workshop. (2004)


Implementation and Performance Evaluation of a Safe Runtime.. - Fluet, Wang (2004)   (Correct)

No context found.

C. Hawblitzel, H. Huang, E. Krupski, and E. Wei. Low-level linear memory management. http://www.cs.dartmouth.edu/~hawblitz/publish/ linearmem-draft4.ps, Dec. 2002.

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