The Java Language Specification

Summary

The Java Language Specification, Second Edition is the definitive technical reference for the Java programming language and provides complete, accurate, and detailed coverage of the syntax and semantics of the Java language.

Keywords

Programming language, Computer science, Java, Programming language specification, Java Modeling Language

References

The Annotated C++ Reference ManualMargaret A. Ellis, Bjarne Stroustrup — 1990
SmallTalk 80: The LanguageAdele Goldberg, D. Robson — 1989
Object-oriented programming in the BETA programming languageOle Lehrmann Madsen, Birger Mø-Pedersen, Kristen Nygaard — 1993
Modula-3Samuel P. Harbison — 1992
[Effect of BN52021 on platelet activating factor induced aggregation of psoriatic polymorphonuclear neutrophils].Bing Liu, Zhang Ht, Min Zheng — 1994
IEEE Standard for Binary Floating Point ArithmeticAnsi Ieee — 1985
Hints on programming language design.C. Hoare — 1973

Cited by

Report on the Experimental Language X10Bob Blainey, Philippe Charles, Perry Cheng — 2006
Adapting Software Fault Isolation to Contemporary CPU ArchitecturesDavid Sehr, Robert Muth, Cliff L. Biffle — 2010
Reassessing JML’s Logical FoundationPatrice Chalin — 2005
Functional programming with names and necessityAleksandar Nanevski, Frank Pfenning — 2004
Precise and practical flow analysis of object-oriented softwareAna Milanova — 2003
Verification of sequential imperative programs in Isabelle-HOLNorbert Schirmer — 2006
Java Needs Compound TypesMartin Büchi, Wolfgang Weck — 1998
Converting Statecharts into Java CodeJauhar Ali, Jiro Tanaka — 2001
Visualising Vector Field Model SimulationsD.P. Playne, Ken A. Hawick — 2009
Specifying and Checking Security Properties in an Evolving Software BaseBarbara Liskov — 2003
Combining Active and Reactive Behavior in Concurrent ObjectsEinar Broch Johnsen, Olaf Owe, Marte Arnestad — 2003
The design & implementation of an abstract semantic graph for statement-level dynamic analysis of c++ applicationsBrian A. Malloy, Edward Duffy — 2011
Half & Half: Multiple Dispatch and Retroactive Abstraction for Java TM†Gerald Baumgartner, Martin Jansche, Konstantin Läufer — 2002
Interactive Process ModelsHåvard D. Jørgensen — 2004
LATENCY REDUCTION IN SOFTWARE–DSMS BY MEANS OF DYNAMIC FUNCTION SPLICINGMichael Klemm, Ronald Veldema — 2004
Type Compatibility for Extensible Module Types, Their Reference Parameters, and Their Pointer TypesJürgen F. H. Winkler — 1997
Low-Level Type Systems for Modularity and Object-Oriented ConstructsDexter Kozen, Arthur Neal Glew — 1999
Verified Java Bytecode VerificationGerwin Klein — 2003
FaTC2: An Object-Oriented Framework for Developing Fault-Tolerant Component-Based SystemsFernando J. Castor de Lima Filho, Paulo Asterio de C. Guerra, Cecília M. F. Rubira — 2003
Une architecture pour les transformations de modèles et la restructuration de modèles umlDamien Pollet — 2005

Related papers

The C++ Programming LanguageBjarne Stroustrup — 1985
Object-Oriented Software ConstructionBertrand Meyer — 1988
Making the future safe for the past: adding genericity to the Java programming languageGilad Bracha, Martin Odersky, David Stoutamire — 1998
Pizza into Java: translating theory into practiceMartin Odersky, Philip Wadler — 1997
Proof-carrying codeGeorge C. Necula — 1997
Aspect-oriented programmingGregor Kiczales — 1996
Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))James Gosling, Bill Joy, Guy L. Steele — 2005
Definition of standard MLRobin Milner, Robert Harper, David MacQueen — 1990