Zhenyu Qian  Home/Search
Context Related
| upenn.edu/~bcpierc...QianJVMspec.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: upenn.edu/~bcpierce/cour...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we formally specify a large subset of Java Virtual Machine instructions based on the descriptions in the Java Virtual Machine Specification by Lindholm and Yellin, in the Java Specification by Gosling, Joy and Steele, and based on the behaviors of some test programs on Sun's implementation of the Java Virtual Machine. The formal specification describes the runtime behaviors of the instructions in related memory areas as (runtime) state transitions and most structural constraints... (Update)
Cited by: More
Is the Java Type System Sound? - Drossopoulou, Eisenbach, Khurshid (1999) (Correct)
A Fragment Calculus - Towards a Model of Separate.. - Drossopoulou.. (1999) (Correct)
Embedding Formal Development into a Smart Card: The Java Card.. - Casset (Correct)
Active bibliography (related documents): More All
0.1: A Formal Specification of Java Virtual Machine Instructions for.. - Qian (1998) (Correct)
0.1: Viewer's Discretion: Host Security in Mobile Code Systems - Fong (1998) (Correct)
0.1: A Programmer's Reduction Semantics for Classes and Mixins - Flatt, Krishnamurthi.. (1999) (Correct)
Similar documents based on text: More All
0.4: Proving the Soundness of a Java Bytecode Verifier in Isabelle/HOL - Pusch (1998) (Correct)
0.3: The Java Language Specification - Second Edition - Gosling, Joy, Steele, Bracha (2000) (Correct)
0.1: The Java Language Specification - Gosling, Joy, Steele (1996) (Correct)
Related documents from co-citation: More All
42: A type system for Java bytecode subroutines - Stata, Abadi - 1998
38: The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
25: A Type System for Object Initialization in the Java Bytecode Language - Freund, Mitchell - 1998
BibTeX entry: (Update)
Zhenyu Qian. A Formal Specification of Java Virtual Machine Instructions. Technical report, Universitat Bremen, FB3 Informatik, D-28334 Bremen, Germany, November 1997. http://citeseer.ist.psu.edu/qian97formal.html More
@inproceedings{ qian99formal,
author = "Zhenyu Qian",
title = "A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subrountines",
booktitle = "Formal Syntax and Semantics of Java",
pages = "271-312",
year = "1999",
url = "citeseer.ist.psu.edu/qian97formal.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
96 AddisonWesley Publishing Company (context) - Aho, Sethi et al. - 1986
60 The security of static typing with dynamic linking - Dean - 1996 ACM DBLP
10 Java is type safe --- probably (context) - Dossopoulou, Eisenbach - 1997
1 The Defensive Java Vertual Machine specification (context) - Cohen - 1997
1 Systematic design of data flow analysis frameworks (context) - Cousot, Cousot - 1979
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cis.upenn.edu/~bcpierce/courses/629/papers.html): More
Decentralized Trust Management - Blaze, Feigenbaum, Lacy (1996) (Correct)
Network Objects - Birrell, Nelson, Owicki, Wobber (1995) (Correct)
Formulating Mobile Languages - Sekiguchi, Yonezawa (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