Sophia Drossopoulou, Susan Eisenbach  Home/Search
Context Related
| slurp.doc.ic.ac.uk...robablyecoop97.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: Amidst rocketing numbers of enthusiastic Java programmers and internet applet users, there is growing concern about the security of executing Java code produced by external, unknown sources. Rather than waiting to find out empirically what damage Java programs do, we aim to examine first the language and then the environment looking for points of weakness. A proof of the soundness of the Java type system is a first, necessary step towards demonstrating which Java programs won't... (Update)
Cited by: More
Towards an Operational Semantics and Proof of Type.. - Drossopoulou, Eisenbach (1998) (Correct)
What is Java Binary Compatibility? - Drossopoulou, Wragg, Eisenbach (Correct)
Is the Java Type System Sound? - Drossopoulou, Eisenbach, Khurshid (1999) (Correct)
Similar documents (at the sentence level):
69.2%: Java is Type Safe - Probably - Drossopoulou, Eisenbach (1996) (Correct)
Active bibliography (related documents): More All
0.1: Java Type Soundness Revisited - Drossopoulou, Valkevych, Eisenbach (2000) (Correct)
0.1: Parasitic Methods: An Implementation of Multi-Methods for Java - Boyland, Castagna (1997) (Correct)
0.1: Sous-Typage Et Programmation Orientée à Objets - Castagna (Correct)
Similar documents based on text: More All
0.5: Java Binary Compatibility is Almost Correct - Wragg, Drossopoulou, Eisenbach (1998) (Correct)
0.3: Language and Architecture Paradigms as Object.. - Spinellis.. (1994) (Correct)
0.3: A Fragment Calculus - Towards a Model of Separate.. - Drossopoulou.. (1999) (Correct)
Related documents from co-citation: More All
28: Proving JavaS Type Soundness - Syme - 1997
21: A type system for Java bytecode subroutines - Stata, Abadi - 1998
21: The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1996
BibTeX entry: (Update)
S. Drossopoulou and S. Eisenbach. Java is type safe -- probably. In Proc. 11th European Conference on Object Oriented Programming, June 1997. http://citeseer.ist.psu.edu/drossopoulou97java.html More
@article{ drossopoulou97java,
author = "Sophia Drossopoulou and Susan Eisenbach",
title = "{Java} is Type Safe --- Probably",
journal = "Lecture Notes in Computer Science",
volume = "1241",
pages = "389--??",
year = "1997",
url = "citeseer.ist.psu.edu/drossopoulou97java.html" }
Citations (may not include all citations):380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
238 Pizza into Java: Translating theory into practice - Odersky, Wadler - 1997
175 Inheritance is not subtyping (context) - Cook, Hill et al. - 1990
138 Type Inference for Polymorphic References (context) - Tofte - 1980
136 Java security: From HotJava to Netscape and beyond - Dean, Felten et al. - 1996
88 A calculus for overloaded functions with subtyping - Castagna, Ghelli et al. - 1995
81 A Proposal for making Eiffel Type-safe - Cook - 1989
59 Is the Java type system sound - Drossopoulou, Eisenbach - 1997
52 A simplified account of polymorphic references - Harper - 1993
30 The smalltalk-76 programming system design and implementatio.. (context) - Ingalls - 1978
26 Signatures: A language extension for improving type abstract.. - Baumgartner, Russo - 1995
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
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
6 Interfaces for object-oriented programming (context) - Canning, Cook et al. - 1989
The graph only includes citing articles where the year of publication is known.
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