See this document in CiteSeerX!

Java is Not Type-Safe (1997)  (Make Corrections)  (44 citations)
Vijay Saraswat



  Home/Search   Context   Related

 
View or download:
loria.fr/~lliquori/JAVA/bug.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  loria.fr/~lliquori/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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)

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