Sophia Drossopoulou, Susan Eisenbach, Sarfraz Khurshid  Home/Search
Context Related
| dse.doc.ic.ac.uk/p...avaSoundJour.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: dse.doc.ic.ac.uk/projects/...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)
Similar documents based on text: More All
0.9: Is the Java Type System Sound? - Drossopoulou, Eisenbach, Khurshid (1999) (Correct)
0.4: Java is Type Safe - Probably - Drossopoulou, Eisenbach (1997) (Correct)
0.3: A Fragment Calculus - Towards a Model of Separate.. - Drossopoulou.. (1999) (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/drossopoulou97is.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/drossopoulou97is.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://www-dse.doc.ic.ac.uk/projects/slurp/pubs.html): More
What is Java Binary Compatibility? - Drossopoulou, Wragg, Eisenbach (1998) (Correct)
A Fragment Calculus - Towards a Model of Separate.. - Drossopoulou.. (1999) (Correct)
Towards an Operational Semantics and Proof of Type.. - Drossopoulou, Eisenbach (1998) (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