D. Walker and G. Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, Montreal, Sept. 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
An Effective Theory of Type Refinements - Mandelbaum, Walker, Harper (2003) (9 citations) Self-citation (Walker) (Correct)
No context found.
D. Walker and G. Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, Montreal, Sept. 2000.
Typed Memory Management via Static Capabilities - David Walker Carnegie (2000) (24 citations) Self-citation (Walker Morrisett) (Correct)
No context found.
Walker, D. and Morrisett, G. 2000. Alias types for recursive data structures. In Workshop on Types in Compilation. Montreal.
The Logical Approach to Stack Typing - Ahmed, Walker (2003) (7 citations) Self-citation (Walker) (Correct)
No context found.
D. Walker and G. Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, Montreal, Sept. 2000.
Reasoning about Hierarchical Storage - Amal Ahmed Limin (2003) (4 citations) Self-citation (Walker) (Correct)
No context found.
D. Walker and G. Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, Montreal, Sept. 2000.
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) Self-citation (Walker Morrisett) (Correct)
No context found.
David Walker and Greg Morrisett. Alias types for recursive data structures (extended version). Technical Report TR2000-1787, Cornell University, March 2000. Also available at http://www.cs.cornell.edu/talc/papers.html.
Reasoning about Hierarchical Storage - Amal Ahmed Limin (2003) (4 citations) Self-citation (Walker) (Correct)
No context found.
D. Walker and G. Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, Montreal, Sept. 2000.
Permission-Based Ownership: Encapsulating State - In Higher-Order Typed (Correct)
No context found.
D. Walker and G. Morrisett. Alias Types for Recursive Data Structures. In International Workshop on Types in Compilation, September 2000. 11
Applied Type System with Stateful Views - Hongwei Xi Dengping (Correct)
No context found.
Walker, D. and G. Morrisett (2000, September). Alias Types for Recursive Data Structures. In Proceedings of International Workshop on Types in Compilation, pp. 177--206. SpringerVerlag LNCS vol. 2071.
On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
No context found.
D. Walker and G. Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, 2000.
BI as an Assertion Language for Mutable Data Structures - Samin Ishtiaq Peter (2000) (82 citations) (Correct)
No context found.
Walker, D., and Morrisett, G. Alias types for recursive data structures. Manuscript, April 2000.
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
No context found.
David Walker and Greg Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, 2000.
Separation and Information Hiding - O'Hearn, Yang, Reynolds (2004) (3 citations) (Correct)
No context found.
D. Walker and J.G. Morrisett. Alias types for recursive data structures. In Types in Compilation, pp177--206, 2000.
Alias and Union Types for Delegation - Anderson, Barbanera, al. (2003) (Correct)
No context found.
David Walker and Greg Morrisett. Alias Types for Recursive Data Structures. In R. Harper, editor, TIC'00, volume 2071.
On the Boolean Algebra of Shape Analysis Constraints - Kuncak, Rinard (2003) (Correct)
No context found.
David Walker and Greg Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, 2000.
On Modular Pluggable Analyses Using Set Interfaces - Lam, Kuncak, Rinard (2003) (Correct)
No context found.
David Walker and Greg Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, 2000.
On the Boolean Algebra of Shape Analysis Constraints - Kuncak, Rinard (2003) (Correct)
No context found.
David Walker and Greg Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, 2000. 7
Alias Annotations for Program Understanding - Aldrich, Kostadinov, Chambers (2002) (46 citations) (Correct)
No context found.
David Walker and Greg Morrisett. Alias Types for Recursive Data Structures. In International Workshop on Types in Compilation, Montreal, Canada, September 2000.
Expressions, Commands, and Assertions - Reynolds (2002) (Correct)
No context found.
David Walker and Greg Morrisett. Alias types for recursive data structures. In Robert W. Harper, editor, Types in Compilation, volume 2071.
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
No context found.
David Walker and Greg Morrisett. Alias Types for Recursive Data Structures. In International Workshop on Types in Compilation, Montreal, Canada, September 2000.
Proceedings of the First International Workshop on Aliasing.. - (ed.) (2003) (Correct)
No context found.
David Walker and Greg Morrisett. Alias types for recursive data structures. In Proceedings of the 4th Workshop on Types in Compilation, September 2000.
Typestates for Objects - Deline, Fahndrich (2004) (10 citations) (Correct)
No context found.
Walker, D., Morrisett, G.: Alias types for recursive data structures. In: Proceedings of the 4th Workshop on Types in Compilation. (2000)
Existential Heap Abstraction Entailment is Undecidable - Kuncak, Rinard (2003) (1 citation) (Correct)
No context found.
David Walker and Greg Morrisett. Alias types for recursive data structures. In
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
David Walker and Greg Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, volume 2071.
Connecting Effects and Uniqueness with Adoption - Boyland (Correct)
No context found.
Walker, D., Morrisett, G.: Alias types for recursive data structures. In: Types in Compilation: Third International Workshop, TIC 2000. Volume 2071 of Lecture Notes in Computer Science., Berlin, Heidelberg, New York, Springer (2001) 177-- 206
On the Boolean Algebra of Shape Analysis Constraints - Kuncak, Rinard (2004) (Correct)
No context found.
David Walker and Greg Morrisett. Alias types for recursive data structures. In Workshop on Types in Compilation, 2000.
First 50 documents Next 50
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