Fred Smith, David Walker, and Greg Morrisett. Alias types. In European Symp. on Programming (ESOP'00), pages 366--381, Berlin, Germany, March 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) Self-citation (Walker) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In European Symposium on Programming, March 2000. To appear. Available at http://www.cs.cornell.edu/talc/papers.html.
Alias Types for Recursive Data Structures - Extended Version David Self-citation (Walker) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In European Symposium on Programming, March 2000. To appear. Available at http://www.cs.cornell.edu/talc/papers.html.
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
No context found.
Fred Smith, David Walker, and Greg Morrisett. Alias types. In European Symp. on Programming (ESOP'00), pages 366--381, Berlin, Germany, March 2000.
Tridirectional Typechecking - Joshua Dunfield Joshuad (Correct)
No context found.
Fred Smith, David Walker, and Greg Morrisett. Alias types. In Proc. European Symp. on Programming (ESOP'00), pages 366--381, Berlin, Germany, March 2000.
Tridirectional Typechecking - Joshua Dunfield Frank (2004) (3 citations) (Correct)
No context found.
Fred Smith, David Walker, and Greg Morrisett. Alias types. In European Symp. on Programming (ESOP'00), pages 366--381, Berlin, Germany, March 2000.
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
No context found.
Fred Smith, David Walker, and Greg Morrisett. Alias types. In European Symp. on Programming (ESOP'00), pages 366--381, Berlin, Germany, March 2000.
Alias and Union Types for Delegation - Anderson, Barbanera, al. (2003) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias Types. In G. Smolka, editor, ESOP'00, volume 1782 of Lecture Notes in Computer Science, pages 366-- 381, Springer-Verlag, Berlin, 2000.
Object Models, Heaps, and Interpretations - Martin Rinard And (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In Proc. 9th ESOP, Berlin, Germany, March 2000. 11
On the Boolean Algebra of Shape Analysis Constraints - Kuncak, Rinard (2003) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In Proc. 9th ESOP, Berlin, Germany, March 2000.
Scalable Certification for Typed Assembly Language - Grossman, Morrisett (2000) (4 citations) (Correct)
No context found.
Fred Smith, David Walker, and Greg Morrisett. Alias types. In Ninth European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 366-381, Berlin, Germany, March 2000. Springer-Verlag.
On the Boolean Algebra of Shape Analysis Constraints - Kuncak, Rinard (2003) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In Proc. 9th ESOP, Berlin, Germany, March 2000. 7
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
No context found.
Fred Smith, David Walker, and Greg Morrisett. Alias types. In European Symp. on Programming (ESOP'00), pages 366--381, Berlin, Germany, March 2000.
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias Types. In Gert Smolka, editor, 9th European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 366--381, Berlin, Germany, 2000. Springer-Verlag.
Object Models, Heaps, and Interpretations - Martin Rinard And (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In Proc. 9th ESOP, Berlin, Germany, March 2000. 11
Tridirectional Typechecking - Dunfield, Pfenning (2004) (3 citations) (Correct)
No context found.
Fred Smith, David Walker, and Greg Morrisett. Alias types. In Proc. European Symp. on Programming (ESOP'00), pages 366--381, Berlin, Germany, March 2000.
Declaring and Checking Non-null Types in an Object-Oriented.. - Fähndrich, Leino (2003) (2 citations) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In Proceedings of the 14th European Symposium on Programming, volume 1782 of LNCS, pages 366--381. Springer, March 2000.
Tridirectional Typechecking - Joshua Dunfield Frank (2004) (3 citations) (Correct)
No context found.
Fred Smith, David Walker, and Greg Morrisett. Alias types. In European Symp. on Programming (ESOP'00), pages 366--381, Berlin, Germany, March 2000.
Safe Programming at the C Level of Abstraction - Grossman (2003) (Correct)
No context found.
Fred Smith, David Walker, and Greg Morrisett. Alias types. In 9th European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 366--381, Berlin, Germany, March 2000. Springer-Verlag.
Tridirectional Typechecking - Joshua Dunfield Joshuad (2004) (3 citations) (Correct)
No context found.
Fred Smith, David Walker, and Greg Morrisett. Alias types. In European Symp. on Programming (ESOP'00), pages 366--381, Berlin, Germany, March 2000.
Another Type System for in-Place Update - David Aspinall And (2002) (6 citations) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In G. Smolka, editor, Programming Languages and Systems, volume 1782, pages 366--381. Springer LNCS, 2000.
On the Boolean Algebra of Shape Analysis Constraints - Kuncak, Rinard (2004) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In Proc. 9th ESOP, Berlin, Germany, March 2000.
Can Addresses be Types? (a case study: objects with delegation) - Anderson, al. (2003) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In ESOP'00, volume 1782 of Lecture Notes in Computer Science, pages 366--381, 2001.
Heap Bounded Assembly Language - Aspinall, Compagnoni (2003) (1 citation) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In Gert Smolka, editor, Ninth European Symposium on Programming, volume 1782 of lncs, pages 366--381. Springer-Verlag, April 2000.
Scalable Certification for Typed Assembly Language - Grossman, Morrisett (2000) (4 citations) (Correct)
No context found.
Fred Smith, David Walker, and Greg Morrisett. Alias types. In Ninth European Symposium on Programming, volume 1782 of Lecture Notes in Computer Science, pages 366-381, Berlin, Germany, March 2000. Springer-Verlag.
Low-Level Linear Memory Management - Hawblitzel, Wei, Huang, Krupski.. (2004) (2 citations) (Correct)
No context found.
Frederick Smith, David Walker, and Greg Morrisett. Alias types. In In European Symposium on Programming, 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