R. Cohen. The Defensive Java Vertual Machine specification. Technical report, University of Cambridge Computer Laboratory, 1997. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
A Formal Specification of Java Virtual Machine Instructions - Qian (1997) (52 citations) (Correct)
....we use the term compile time for both. In this paper we use o n to denote the list of n syntactical objects o 1 ; Delta Delta Delta ; o n . 2 Related work Our work is directly related to the work on building a formal model of a subset of the JVM, called defensive JVM (short: dJVM) [2]. However, the dJVM and our work are different in at least two aspects. The main difference is that dJVM includes runtime checks to assure type safe execution, where we design a compile time type inference system, which assures that well typed programs do not have runtime type errors. In addition, ....
R. Cohen. The Defensive Java Vertual Machine specification. Technical report, University of Cambridge Computer Laboratory, 1997.
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