R. Stata and M. Abadi. A type system for Java bytecode subroutines. In 25th ACM Symposium on Principles of Programming Languages (POPL'98), pages 149--160, 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
A Calculus for Cryptographic Protocols - Lecture Notes Andrew (Correct)
No context found.
R. Stata and M. Abadi. A type system for Java bytecode subroutines. In 25th ACM Symposium on Principles of Programming Languages (POPL'98), pages 149--160, 1998.
Certification D'un Porte-Monnaie Electronique - Published In Formalisation (Correct)
No context found.
Raymie Stata and Martin Abadi. A type system for Java bytecode subroutines. In Proc. 25th Symposium on Principles of Programming Languages, 1998.
Checking Secure Interactions of Smart Card Applets - Bieber, al. (2000) (7 citations) (Correct)
No context found.
Raymie Stata and Martin Abadi. A type system for java bytecode subroutines. In Proc. 25th Symposium on Principles of Programming Languages, 1998.
Timing Aware Information Flow Security for a JavaCard-like.. - Hedin, Sands (2005) (Correct)
No context found.
Raymie Stata and Martin Abadi. A type system for java bytecode subroutines. In POPL, January 1998.
Checking Secure Interactions of Smart Card - Applets Extended Version (Correct)
No context found.
Raymie Stata and Martin Abadi. A type system for java bytecode subroutines. In Proc. 25th Symposium on Principles of Programming Languages, 1998.
Checking Secure Interactions of Smart Card Applets: Extended.. - Bieber, al. (2002) (7 citations) (Correct)
No context found.
Raymie Stata and Martin Abadi. A type system for java bytecode subroutines. In Proc. 25th Symposium on Principles of Programming Languages, 1998.
Certification D'un Porte-Monnaie Electronique - Published In Formalisation (Correct)
No context found.
Raymie Stata and Martin Abadi. A type system for Java bytecode subroutines. In Proc. 25th Symposium on Principles of Programming Languages, 1998.
Checking Secure Interactions of Smart Card - Applets Published In (Correct)
No context found.
Raymie Stata and Martin Abadi. A type system for java bytecode subroutines. In Proc. 25th Symposium on Principles of Programming Languages, 1998.
The PACAP Prototype: a Tool for Detecting - Java Card Illegal (Correct)
No context found.
R. Stata and M. Abadi. A type system for Java byte code subroutines. In Proceeding of 25th Symposium on Principles of Programming Languages, 1998.
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (2 citations) (Correct)
No context found.
Raymie Stata and Martin Abadi. A type system for java bytecode subroutines. ACM Transactions on Programming Languages and Systems, 21(1):90--137, January 1999.
What is Java Binary Compatibility? - Drossopoulou, Wragg, Eisenbach (Correct)
No context found.
Raymie Stata and Martin Abadi. A Type System For Java Bytecode Subroutines. In POPL'98 Proceedings, January 1998.
A Fragment Calculus - Towards a Model of Separate.. - Drossopoulou.. (1999) (20 citations) (Correct)
No context found.
R. Stata and M. Abadi. A Type System For Java Bytecode Subroutines. In POPL'98 Proceedings, January 1998.
Index types for JVM method invocation - Songtao Xia Sxia (Correct)
No context found.
Stata, R., and Abadi, M. A Type System for Java Bytecode Subroutines. In Proceedings of ACM Symposium on Principles of Programming Languages (1998), pp. 149--160.
Lightweight Bytecode Verification - Eva Rose And (1998) (27 citations) (Correct)
No context found.
Stata, R. & Abadi, M. (1998), A type system for java bytecode subroutines, in `POPL '98---25th Annual ACM Symposium on Principles of Programming Languages', SIGPLAN Notices.
A Formal Executable Semantics of the JavaCard Platform - Barthe, Dufay, Jakubiec.. (13 citations) (Correct)
No context found.
R. Stata and M. Abadi. A type system for Java bytecode subroutines. In Proceedings of POPL'98, pages 149160. ACM Press, 1998.
Tool-Assisted Specification and Verification of the.. - Barthe, Courtieu.. (2002) (5 citations) (Correct)
No context found.
R. Stata and M. Abadi. A type system for Java bytecode subroutines. ACM Transactions on Programming Languages and Systems, 21(1):90137, January 1999.
How to Disembed a Program? - Full Version - Chevallier-Mames, Naccache.. (2004) (Correct)
No context found.
R. Stata and M. Abadi, A Type System for Java Bytecode Subroutines, SRC Research Report 158, June 11, 1998, http://www.research.digital.com/SRC/.
A New Approach to Mobile Code Security - Wallach (1999) (21 citations) (Correct)
No context found.
Raymie Stata and Martn Abadi. A type system for Java bytecode subroutines. In Proceedings of the 25th ACM Symposium on Principles of Programming Languages, pages 149--160. ACM, January 1998.
Proofing: An Efficient and Safe Alternative to Mobile-Code.. - Gal, Probst, Franz (Correct)
No context found.
R. Stata and M. Abadi. A Type System for Java Bytecode Subroutines. ACM Transactions on Programming Languages and Systems, 21(1):90--137, 1999.
Type Qualifiers: Lightweight Specifications to Improve Software.. - Foster (2002) (6 citations) (Correct)
No context found.
Raymie Stata and Martn Abadi. A Type System for Java Bytecode Subroutines. In of Programming Languages, pages 149--160, San Diego, California, January 1998.
Verified Bytecode Subroutines - Klein, Wildmoser (2003) (5 citations) (Correct)
No context found.
R. Stata and M. Abadi. A type system for Java bytecode subroutines. In Proc. 25th ACM Symp. Principles of Programming Languages, pages 149--161. ACM Press, 1998.
μJava: Embedding a Programming Language in a Theorem.. - Nipkow, von Oheimb, Pusch (2000) (Correct)
No context found.
Raymie Stata and Mart'in Abadi. A type system for Java bytecode subroutines. In Proc.25. ACM Symp. Principles of Programming Languages, pages 149--161. ACM Press, 1998.
A Type System for the Java Bytecode Language and Verifier - Freund, Mitchell (2003) (1 citation) (Correct)
No context found.
Stata, R. and Abadi, M.: A type system for Java bytecode subroutines, ACM Transactions on Programming Languages and Systems 21(1) (1999), 90--137.
How to Disembed a Program? - Full Version - Chevallier-Mames, Naccache.. (2004) (Correct)
No context found.
R. Stata and M. Abadi, A Type System for Java Bytecode Subroutines, SRC Research Report 158, June 11, 1998, http://www.research.digital.com/SRC/.
Java Bytecode as a Typed Term Calculus - Higuchi, Ohori (2002) (Correct)
No context found.
Raymie Stata and Martn Abadi. A type system for Java bytecode subroutines. In Conference Record of POPL 98: The 25TH ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, California, pages 149-160, New York, NY, 1998. 11
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