Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid  Home/Search
Context Related
| slurp.doc.ic.ac.uk/....soundtapos99.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: slurp.doc.ic.ac.uk/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we address the type soundness of the Java kernel language. We prove for a substantial subset of the language kernel that its type system is sound, in the sense that unless an exception is raised, the evaluc fl ??? John Wiley & Sons, Inc (Update)
Context of citations to this paper: More
.... 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 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...
Cited by: More
Using Production Grammars in Software Testing - Sirer, Bershad (1999) (Correct)
Testing Java Virtual Machines. An Experience Report on.. - Sirer (Correct)
Similar documents (at the sentence level): More
39.3%: Towards an Operational Semantics and Proof of Type.. - Drossopoulou, Eisenbach (1998) (Correct)
17.8%: Java is Type Safe - Probably - Drossopoulou, Eisenbach (1997) (Correct)
7.7%: Is the Java Type System Sound? - Drossopoulou, Eisenbach (1997) (Correct)
Active bibliography (related documents): More All
0.2: Machine-checking the Java Specification: Proving Type-Safety - von Oheimb, Nipkow (1998) (Correct)
0.2: Java light is Type-Safe - Definitely - Nipkow, von Oheimb (1998) (Correct)
0.1: Parasitic Methods: An Implementation of Multi-Methods for Java - Boyland, Castagna (1997) (Correct)
Similar documents based on text: More All
0.4: A Fragment Calculus - Towards a Model of Separate.. - Drossopoulou.. (1999) (Correct)
0.3: Java Binary Compatibility is Almost Correct - Wragg, Drossopoulou, Eisenbach (1998) (Correct)
0.2: Language and Architecture Paradigms as Object.. - Spinellis.. (1994) (Correct)
Related documents from co-citation: More All
2: Proving JavaS Type Soundness - Syme - 1997
2: A Type System for Object Initialization in the Java Bytecode Language - Freund, Mitchell - 1998
2: Distributed virtual machines: A system architecture for network computing - Sirer, Grimm et al. - 1998
BibTeX entry: (Update)
Drossopoulou, S., Eisenbach, S. and Khurshid, S. "Is the Java Typesystem Sound ?" Submitted for publication, October 1997. http://citeseer.ist.psu.edu/article/drossopoulou99is.html More
@article{ drossopoulou99is,
author = "Sophia Drossopoulou and Susan Eisenbach and Sarfraz Khurshid",
title = "Is the Java Type System Sound?",
journal = "Theory and Practice of Object Systems",
volume = "5",
number = "1",
pages = "3-24",
year = "1999",
url = "citeseer.ist.psu.edu/article/drossopoulou99is.html" }
Citations (may not include all citations):592 Introduction to HOL: A Theorem Proving Environment for Highe.. (context) - Gordon, Melhams - 1993
380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
306 A Syntactic Approach to Type Soundness - Wright, Felleisen - 1994
238 Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997
138 Type Inference for Polymorphic References (context) - Tofte - 1980
136 Java Security: From HotJava to Netscape and Beyond - Dean, Felten et al. - 1996
122 and Modularization (context) - Cardelli, Linking - 1997
88 A calculus for overloaded functions with subtyping - Castagna, Ghelli et al. - 1995
81 A Proposal for making Eiffel Type-safe - Cook - 1989
66 Java Security: Hostile Applets (context) - McGraw, Felten - 1996
60 The Security of Static Typing with Dynamic Linking - Dean - 1997
59 Is the Java type system sound - Drossopoulou, Eisenbach - 1997
56 Java is type safe --- probably - Drossopoulou, Eisenbach - 1997
53 A Formal Specification of the Java Virtual Machine Instructi.. - Qian - 1997
52 A simplified account of polymorphic references - Harper - 1993
44 Java is not type-safe - Saraswat - 1997
30 The Smalltalk-76 programming system design and implementatio.. (context) - Ingalls - 1978
22 A Semantics of Object Types - Abadi, Cardelli - 1994
22 Type-Safe Compilation of Covariant Specialization: A Practic.. (context) - Boyland, Castagna - 1996
20 private communication (context) - Sellinger - 1996
20 DECLARE: A Prototype Declarative Proof System for Higher Ord.. - Syme - 1997
18 Proving Java Type Sound (context) - Syme - 1997
16 Static typing and other mysteries of life (context) - Meyer - 1995
13 Principal Type Schemes for Functional Languages (context) - Damas, Milner - 1982
10 Parameterized Types and Java - Bank, Liskov et al. - 1997
7 Parasitic Methods: Implementation of Multimethods for Java (context) - Castagna - 1996
7 Private Communication (context) - Syme - 1997
6 Towards Type Preservation in Core SML (context) - VanInwegen - 1997
4 Some Aspects of Type Soundness for Java (context) - Khurshid - 1997
2 Theoretical Aspects of Computer Science (context) - Bruce, Cardelli et al. - 1997
2 Technische Universitaet Muenchen (context) - Nipkow, von Oheimb et al. - 1997
2 Adding paraleterized types to Java (context) - Ageson, Freunds et al. - 1997
Documents on the same site (http://slurp.doc.ic.ac.uk/pubs.html): More
Java Exceptions Throw no Surprises - Drossopoulou, Valkevych (2000) (Correct)
Flexible Models for Dynamic Linking - Drossopoulou, Lagorio, Eisenbach (2003) (Correct)
A Fragment Calculus - Towards a Model of Separate.. - Drossopoulou.. (1999) (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