G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. In Proceedings of the 25th ACM Symposium on Principles of Programming Languages, pages 85-- 97, 1998. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Automated Techniques for Provably Safe Mobile Code - Colby, Crary, Harper, Lee.. (2000) (2 citations) Self-citation (Crary) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. ACM Trans. Prog. Lang. Syst., 1999.
From System F to Typed Assembly Language - Greg Morrisett David (1998) (6 citations) Self-citation (Morrisett Walker Crary Glew) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language (extended version). Technical Report TR97-1651, Cornell University, Nov. 1997.
A Linear Language with Locations - Greg Morrisett Amal Self-citation (Morrisett) (Correct)
No context found.
Morrisett, G., Walker, D., Crary, K., Glew, N.: From System F to typed assembly language. TOPLAS 21 (1999) 528--569
From System F to Typed Assembly Language - Greg Morrisett David (1998) (6 citations) Self-citation (Morrisett Walker Crary Glew) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language (extended version). Technical Report TR97-1651, Cornell University, Nov. 1997.
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) Self-citation (Morrisett Walker) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In TwentyFifth ACM Symposium on Principles of Programming Languages, pages 85--97, San Diego, January 1998.
Type Dispatch for Named Hierarchical Types - Neal Glew Cornell (1999) (15 citations) Self-citation (Glew) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. In Twenty-Fifth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 85--97, San Diego California, USA, January 1998.
Scalable Certification of Native Code: Experience from.. - Grossman, Morrisett (2000) Self-citation (Morrisett) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, pages 85--97, San Diego, CA, January 1998.
Typed Memory Management in a Calculus of Capabilities - Walker, Crary, Morrisett (2000) Self-citation (Morrisett Walker Crary) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, pages 85--97, San Diego, January 1998.
Secrecy by Typing in Security Protocols - Abadi (1998) (145 citations) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. In Proceedings of the 25th ACM Symposium on Principles of Programming Languages, pages 85-- 97, 1998.
Strict Bidirectional Type Checking - Adam Chlipala Computer (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, pages 85--97, San Diego, January 1998. Extended version published as Cornell University technical report TR97-1651.
Interfacing Compilers, Proof Checkers, and Proofs for Foundational.. - Wu (2005) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '98), pages 85--97, New York, January 1998. ACM Press.
Strength Reduction for Loop-Invariant Types - Phung Hua Nguyen (Correct)
No context found.
Morrisett, G., Walker, D., Crary, K. & Glew, N. (1998), From system F to typed assembly language, in `25th ACM SIGPLAN Symposium on Principles of Programming Languages', pp. 85--97.
FACADE: a Typed Intermediate Language - Dedicated To Smart (Correct)
No context found.
Morrisett, G., Walker, D., Crary, K., and Glew, N. From System F to Typed Assembly Language. In 25th Symposium on Principles of Programming Languages #San Diego, CA, USA, Jan. 1998#. http:##simon.cs.cornell.edu#Info#People#jgm#papers#tal.ps.
Modular Verification of Concurrent Assembly Code with Dynamic.. - Feng, Shao (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. In Proc. 25th ACM Symp. on Principles of Prog. Lang., pages 85--97. ACM Press, Jan. 1998.
SELF: a Transparent Security Extension for ELF Binaries - DuVarney, Bhatkar.. (2003) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system f to typed assembly language. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, CA, Jan 1998.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system F to typed assembly language. In Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'98), pages 85--97, San Diego, CA., January 1998.
Faithful Translations between Polyvariant Flows and.. - Amtoft, Turbak (2002) (9 citations) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. ACM Trans. on Prog. Langs. & Systs., 21(3):528--569, May 1999.
An Observationally Complete Program Logic for Imperative.. - Honda, Yoshida, Berger (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. ACM Trans. Program. Lang. Syst., 21(3):527--568, 1999.
Inferring Annotated Types for Inter-procedural Register.. - Amtoft, Muller (2002) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. ACM Trans. on Prog. Langs. & Systs., 21(3):528-569, may 1999.
Towards Type Inference for JavaScript - Christopher Anderson Paola (Correct)
No context found.
Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From system f to typed assembly language. ACM Trans. Program. Lang. Syst., 21(3):527--568, 1999.
Inferring Annotated Types for Inter-procedural Register.. - Amtoft, Muller (2002) (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to typed assembly language. ACM Trans. on Prog. Langs. & Systs., 21(3):528--569, May 1999.
Compile Time Elimination of Null- and Bounds-Checks - Je Ery Von (Correct)
No context found.
G. Morrisett, D. Walker, K. Crary, and N. Glew. From System F to Typed Assembly Language. ACM Trans. Prog. Lang. and Sys., 23(3):528-569, May 1999.
Index types for JVM method invocation - Songtao Xia Sxia (Correct)
No context found.
Morrisett, G., Walker, D., Crary, K., and Glew, N. From System F to Typed Assembly Language. In Proceedings of ACM Symposium On Principles of Programming Languages (1998), pp. 85--97.
A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
No context found.
Karl Crary Greg Morrisett, David Walker and Neal Glew. From system f to typed assembly language. In "25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages", pages 85--97, San Diego, CA, USA, "January" 1998.
A Portable Virtual Machine Target for Proof-Carrying Code - Franz, Chandra, Gal.. (2003) (Correct)
No context found.
Karl Crary Greg Morrisett, David Walker and Neal Glew. From system f to typed assembly language. In "25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages", pages 85--97, San Diego, CA, USA, "January" 1998.
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