Raymie Stata, Martin Abadi  Home/Search
Context Related
| digital.com/pub/DEC/SRC...SRC158.ps.gz 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: dec.com/pub/DEC/SRC/...srcrr158 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: ing with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permission from Publications Dept, ACM Inc., fax +1 (212) 869-0481, or permissions@acm.org. 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... (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):
28.3%: A Type System for Java Bytecode Subroutines - Stata, Abadi (1998) (Correct)
Active bibliography (related documents): More All
0.3: 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 (1998) (Correct)
0.2: A Type System for the Java Bytecode Language and Verifier - Freund, Mitchell (2003) (Correct)
Similar documents based on text: More All
0.7: Towards Web-Scale Web Archeology - Leung, Perl, Stata, Wiener (2001) (Correct)
0.6: The Problem of Bytecode Verification in Current.. - Stärk, Schmid (Correct)
0.6: Completeness of a bytecode verifier and a certifying.. - Stärk, Schmid (2003) (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/article/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/article/stata98type.html" }
Citations (may not include all citations):746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
109 A type system for object initialization in the Java bytecode.. - Freund, Mitchell - 1998
69 Proving Java type soundness - Syme - 1997
56 Java is type safe---probably - Drossopoulou, Eisenbach - 1997
53 A formal specification of Java Virtual Machine instructions .. - Qian - 1998
37 Compiling with Types (context) - Morrisett - 1995
30 Java light is type-safe---definitely - Nipkow, von Oheimb - 1998
25 ML compiler: Performance and safety through types (context) - Morrisett, Tarditi et al. - 1996
17 a new method for dataflow analysis of Java Virtual Machine s.. - Hagiya, Tozawa - 1998
14 Defensive Java Virtual Machine version (context) - Cohen - 1997
13 Private communication (context) - Yellin - 1997
6 The Java bytecode verification problem (context) - Saraswat - 1997
3 ACM SIGPLAN Workshop on Types in Compilation (context) - SIGPLAN, Types et al. - 1997
3 Kimera: A Java system security architecture (context) - Sirer, McDirmid et al. - 1997
The graph only includes citing articles where the year of publication is known.
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