Raymie Stata, Martín Abadi  Home/Search
Context Related
Links: ACM DBLP | digital.com/pub/DE...shortpreprint.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: math.tau.ac.il/~guy/pa/java (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifier enforces static constraints that prevent various dynamic errors. Given the importance of the bytecode verifier for security, its current descriptions are inadequate. This paper proposes using typing rules to describe the bytecode verifier because they are more precise than prose, clearer than code, and easier to... (Update)
Cited by: More
A Calculus for Cryptographic Protocols - Lecture Notes Andrew (Correct)
Certification D'un Porte-Monnaie Electronique - Published In Formalisation (Correct)
Checking Secure Interactions of Smart Card Applets - Bieber, al. (2000) (Correct)
Similar documents (at the sentence level):
79.6%: A Type System for Java Bytecode Subroutines - Stata, Abadi (1998) (Correct)
Active bibliography (related documents): More All
0.4: A Type System for Object Initialization in the Java Bytecode.. - Freund, Mitchell (1998) (Correct)
0.3: A Type System for Object Initialization In the Java Bytecode.. - Freund, Mitchell (2000) (Correct)
0.2: A Formal Framework for the Java Bytecode Language and Verifier - Freund, Mitchell (1999) (Correct)
Similar documents based on text: More All
0.6: A Simple, Comprehensive Type System for Java Bytecode Subroutines - O'Callahan (Correct)
0.5: Completeness of a bytecode verifier and a certifying.. - Stärk, Schmid (2003) (Correct)
0.5: Towards An Extensible Virtual Machine - Boyapati (2002) (Correct)
Related documents from co-citation: More All
54: A Type System for Object Initialization in the Java Bytecode Language - Freund, Mitchell - 1998
47: The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
25: A Formal Specification of Java Virtual Machine Instructions - Qian - 1997
BibTeX entry: (Update)
Raymie Stata and Mart'in Abadi. A type system for Java bytecode subroutines. In Twenty-Fifth ACM Symposium on Principles of Programming Languages, San Diego, January 1998. http://citeseer.ist.psu.edu/stata98type.html More
@inproceedings{ stata98type,
author = "Raymie Stata and Mart\'{i}n Abadi",
title = "A Type System for {Java} Bytecode Subroutines",
booktitle = "Conference Record of {POPL} 98: The 25TH {ACM} {SIGPLAN}-{SIGACT} Symposium on Principles of Programming Languages, San Diego, California",
address = "New York, NY",
pages = "149--160",
year = "1998",
url = "citeseer.ist.psu.edu/stata98type.html" }
Citations (may not include all citations):746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
69 Proving Java type soundness - Syme - 1997 ACM DBLP
56 Java is type safe---probably - Drossopoulou, Eisenbach - 1997
37 Compiling with Types (context) - Morrisett - 1995
17 TILML compiler Performance and safety through type - Tarditi, Harper et al. - 1996
14 Defensive Java Virtual Machine version (context) - Cohen - 1997
13 Private communication (context) - Yellin - 1997
7 Virtual Machine instructions (context) - Qian, specification et al. - 1997
6 The Java bytecode verification problem (context) - Saraswat - 1997
3 Kimera: A Java system security architecture (context) - Sirer, McDirmid et al. - 1997
3 ACM SIGPLAN Workshop on Types in Compilation (context) - SIGPLAN, Types et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.math.tau.ac.il/~guy/pa/java.html): More
Dynamic semantics of Java byte-code - Bertelsen (1998) (Correct)
A Programmer Friendly Modular Definition of the Semantics of.. - Börger, Schulte (1997) (Correct)
Binding-time analysis for a JVM core language - Bertelsen (1999) (Correct)
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