Vijay Saraswat  Home/Search
Context Related
| loria.fr/~lliquori/JAVA/bug.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: loria.fr/~lliquori/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A language is type-safe if the only operations that can be performed on data in the language are those sanctioned by the type of the data. Java is not type-safe, though it was intended to be. A Java object may read and modify fields (and invoke methods) private to another object. It may read and modify internal Java Virtual Machine (JVM) data-structures. It may invoke operations not even defined for that object, causing completely unpredictable results, including JVM crashes (core dumps). Thus... (Update)
Cited by: More
Proof Linking: A Modular Verification Architecture for Mobile Code .. - Fong (2004) (Correct)
Manifestations of Java Dynamic Linking - an approximate.. - Drossopoulou, Eisenbach (2002) (Correct)
Is the Java Type System Sound? - Drossopoulou, Eisenbach, Khurshid (1999) (Correct)
Active bibliography (related documents): More All
0.0: Providing fine-grained access control for Java programs via.. - Pandey, Hashii (2000) (Correct)
0.0: Extensible Virtual Machines - Harris (2001) (Correct)
0.0: Viewer's Discretion: Host Security in Mobile Code Systems - Fong (1998) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.1: An Extensible Protocol Architecture for Application-Specific.. - Fiuczynski (1996) (Correct)
0.1: Using an Ersatz Thermosiphon - Loop To Model (Correct)
0.1: Leveraging Operational Transformation in Collaborative Object Groups - Hofte (Correct)
Related documents from co-citation: More All
21: A type system for Java bytecode subroutines - Stata, Abadi - 1998
16: A Type System for Object Initialization in the Java Bytecode Language - Freund, Mitchell - 1998
14: The Security of Static Typing with Dynamic Linking - Dean - 1997
BibTeX entry: (Update)
V. Saraswat. Java is not type-safe. Web pages at: http://www.research.att.com/~vj/main.html, 1997. http://citeseer.ist.psu.edu/saraswat97java.html More
@misc{ saraswat97java,
author = "V. Saraswat",
title = "Java is not type-safe",
text = "V. Saraswat. Java is not type-safe. Web pages at: http://www.research.att.com/~vj/main.html,
1997.",
year = "1997",
url = "citeseer.ist.psu.edu/saraswat97java.html" }
Citations (may not include all citations):746 The Java Virtual Machine Specification (context) - Lindholm, Yellin - 1997
380 The Java Language Specification (context) - Gosling, Joy et al. - 1996
118 Extensible security architectures for Java - Wallach, Balfanz et al. - 1997
1 The Matrix of Virtual Worlds (context) - Saraswat - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.loria.fr/~lliquori/): More
Ancles User Manual - Software Version November (Correct)
What is Asn.1? (2) - Asn Has Been (Correct)
Cv - Liquori (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