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