L. Petersen, R. Harper, K. Crary, and F. Pfenning. A type theory for memory allocation and data layout. In Languages, Jan. 2003. To appear. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Linearly Typed Assembly Language - Cheney, Morrisett (1 citation) (Correct)
....be better to view all memory as a contiguous segment of words, i.e. a page provided by the operating system, that can be broken up into blocks of desired sizes as needed, and restored when adjacent blocks are freed. This approach is related to that taken in the orderly linear lambda calculus of [21] and the stack logic of [1] however, neither approach addresses general dynamic memory management. The former focuses on a garbage collection architecture in which deallocation is implicit and the latter describes stack allocation and deallocation but not heap deallocation. Yu et al. 34] have ....
Leaf Petersen, Robert Harper, Karl Crary, and Frank Pfenning. A type theory for memory allocation and data layout. In Proc. symposium on Principles of Programming Languages, pages 172-184. ACM Press, 2003.
A Programming Language for Probabilistic Computation - Park (2005) Self-citation (Harper Pfenning) (Correct)
No context found.
L. Petersen, R. Harper, K. Crary, and F. Pfenning. A type theory for memory allocation and data layout. In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 172--184. ACM Press, 2003.
A Modal Language for Effects - Park, Harper (2004) Self-citation (Harper) (Correct)
No context found.
L. Petersen, R. Harper, K. Crary, and F. Pfenning. A type theory for memory allocation and data layout. In on Principles of programming languages, pages 172--184. ACM Press, 2003.
A Type Theory for Memory Allocation and Data Layout - Leaf Petersen Robert (2003) (8 citations) Self-citation (Petersen Harper Crary Pfenning) (Correct)
No context found.
Leaf Petersen, Robert Harper, Karl Crary, and Frank Pfenning. A type theory for memory allocation and data layout. Technical Report CMU-CS-02-171, Department of Computer Science, Carnegie Mellon University, December 2002.
A Type Theory for Memory Allocation and Data Layout - Petersen, Harper, Crary.. (2003) (8 citations) Self-citation (Petersen Harper Crary Pfenning) (Correct)
....coercions is definable in this setting. Finally, we have shown how the reserve, alloc, and write primitives can be replaced by typed constants, eliminating the need to incorporate special memory management primitives into the language. The full language is described in a separate technical report [13]. The most important question that we have not yet addressed is how to give an account of the allocation of objects with dynamic extent. The system we have developed so far is predicated on the ability to statically predict the size of an object based on its type. For objects such as arrays ....
Leaf Petersen, Robert Harper, Karl Crary, and Frank Pfenning. A type theory for memory allocation and data layout. Technical Report CMU-CS-02-171, Department of Computer Science, Carnegie Mellon University, December 2002.
The Logical Approach to Stack Typing - Ahmed, Walker (2003) (7 citations) (Correct)
No context found.
L. Petersen, R. Harper, K. Crary, and F. Pfenning. A type theory for memory allocation and data layout. In Languages, Jan. 2003. To appear.
Applied Type System with Stateful Views - Hongwei Xi Dengping (Correct)
No context found.
Petersen, L., R. Harper, K. Crary, and F. Pfenning (2003, January). A Type Theory for Memory Allocation and Data Layout. In Proceedings of the 30th ACM Sigplan Symposium on Principles of Programming Languages (POPL '03), New Orleans, Louisiana, USA, pp. 172--184.
Reasoning about Hierarchical Storage - Amal Ahmed Limin (2003) (4 citations) (Correct)
No context found.
L. Petersen, R. Harper, K. Crary, and F. Pfenning. A type theory for memory allocation and data layout. In ACM Symposium on Principles of Programming Languages, Jan. 2003. To appear.
Local Reasoning about a Copying Garbage Collector - Birkedal, Torp-Smith, Reynolds (2004) (7 citations) (Correct)
No context found.
L. Petersen, R. Harper, K. Crary, and F. Pfenning. A type theory for memory allocation and data layout. In POPL'03, January 2003.
Reasoning about Hierarchical Storage - Amal Ahmed Limin (2003) (4 citations) (Correct)
No context found.
L. Petersen, R. Harper, K. Crary, and F. Pfenning. A type theory for memory allocation and data layout. In ACM Symposium on Principles of Programming Languages, Jan. 2003. To appear.
Low-Level Linear Memory Management - Hawblitzel, Wei, Huang, Krupski.. (2004) (2 citations) (Correct)
No context found.
L. Petersen, R. Harper, K. Crary, and F. Pfenning. A type theory for memory allocation and data layout. In symposium on Principles of Programming Languages, 2003.
The Logical Approach to Stack Typing - Ahmed, Walker (2003) (7 citations) (Correct)
No context found.
L. Petersen, R. Harper, K. Crary, and F. Pfenning. A type theory for memory allocation and data layout. In Languages, Jan. 2003. To appear.
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