Zhenyu Qian  Home/Search
Context Related
| kestrel.edu/pub/papers...fsjvmsembk.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: kestrel.edu/HTML/publications (more) Homepages: Z.Qian |
Rate this article:      (best)Comment on this article |
Abstract: . In this chapter we formally specify a subset of Java Virtual Machine (JVM) instructions for objects, methods and subroutines based on the official JVM Specification, the official Java Language Specification and Sun's JDK 1.1.4 implementation of the JVM. Our formal specification describes the runtime behaviors of the instructions in relevant memory areas as state transitions and most structural and linking constraints on the instructions as a static typing system. The typing system includes a... (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.6: Constraint-Based Specification and Dataflow Analysis for Java.. - Qian (1998) (Correct)
0.6: Toward a Provably-Correct Implementation of the JVM.. - Coglio, Goldberg, Qian (1998) (Correct)
0.2: Least Types for Memory Locations in Java Bytecode - Qian (1999) (Correct)
Similar documents based on text: More All
0.2: The Java Language Specification - Second Edition - Gosling, Joy, Steele, Bracha (2000) (Correct)
0.1: [31] Hongxing Zhou, Zhenyu Yang and Haitao Li, \A Note.. - Proc Chinese Distributed (Correct)
0.0: Algebraic System Specification and Development.. - Cerioli, Gogolla, .. (1997) (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/article/qian98formal.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/article/qian98formal.html" }
Citations (may not include all citations):1399 Compilers --- Principles (context) - Aho, Sethi et al. - 1986
169 A type system for Java bytecode subroutines - Stata, Abadi - 1998 ACM DBLP
109 A type system for object initialization in the java bytecode.. - Freund, Mitchell - 1997 ACM DBLP
109 A type system for object initialization in the java bytecode.. - Freund, Mitchell - 1998 ACM DBLP
69 Proving Java type soundness - Syme - 1997 ACM DBLP
63 The Java TM Language Specification (context) - Gosling, Joy et al. - 1996
60 The security of static typing with dynamic linking - Dean - 1996 ACM DBLP
44 Java is not type-safe - Saraswat - 1997
35 A specification of Java loading and bytecode verification - Goldberg - 1997 ACM DBLP
34 The Defensive Java Virtual Machine specification (context) - Cohen - 1997
26 ight is type-safe --- definitely (context) - Nipkow, von Oheimb - 1998
20 The Java TM Virtual Machine Specification (context) - Lindholm, Yellin - 1996
10 Java is type safe --- probably (context) - Dossopoulou, Eisenbach - 1997
6 a new method fot dataflow analysis of Java Virtual Machine s.. (context) - Hagiya - 1998
3 A Java system security architecture (context) - Sirer, McDirmid et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.kestrel.edu/HTML/publications.html): More
Domains of Functions - Mints (1998) (Correct)
Modularization and Interpolation - Mints (1998) (Correct)
Diagrams for Software Synthesis - Jüllig, Srinivas (1993) (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