Drossopoulou, S., Eisenbach, S. and Khurshid, S. "Is the Java Typesystem Sound ?" In Theory and Practice of Object Systems, Volume 5(1), p. 3-24, 1999. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Using Production Grammars in Software Testing - Sirer, Bershad (1999) (5 citations) (Correct)
....to an integer addition operation always consist of two integers. Further, these checks also ensure that objects are properly initialized via parent constructors, and that every use of an object is preceded by an initialization of the same object. Based on various analyses [Drossopoulou 97,Drossopoulou 99,Syme 97] we assume that a correct implementation of these 620 axioms is sufficient to ensure typesafety and to protect the assumptions made in the virtual machine from being violated at runtime. The task of the system designer, then, is to ensure that the implementation of safety axioms in a ....
Drossopoulou, S., Eisenbach, S. and Khurshid, S. "Is the Java Typesystem Sound ?" In Theory and Practice of Object Systems, Volume 5(1), p. 3-24, 1999.
Testing Java Virtual Machines. An Experience Report on.. - Sirer (Correct)
....several hundred fine grain, subtle and diverse security axioms for protection. While the safety of these axioms have not yet been formally proven, we believe that they are sufficient to ensure typesafety and to protect the assumptions made in the virtual machine from being violated at runtime [Drossopoulou et al. 97,Syme 97] A failure of the system verifier to enforce these safety axioms would enable applications to violate system integrity, and may result in data theft or corruption. An interpreter or just in time (JIT) compiler is responsible for the correct execution of JVM applications. The compiler or ....
Drossopoulou, S., Eisenbach, S. and Khurshid, S. "Is the Java Typesystem Sound ?" Submitted for publication, October 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