• Corpus ID: 5445732

The Java Language Specification

@inproceedings{Gosling1996TheJL,
  title={The Java Language Specification},
  author={James Gosling and William N. Joy and Guy L. Steele},
  year={1996}
}
From the Publisher: Written by the inventors of the technology, The Java(tm) Language Specification, Second Edition is the definitive technical reference for the Java(tm) programming language. If you want to know the precise meaning of the language's constructs, this is the source for you. The book provides complete, accurate, and detailed coverage of the syntax and semantics of the Java programming language. It describes all aspects of the language, including the semantics of all types… 
A Language for Specifying Java Transformations
TLDR
The syntax and informal semantics of JaTS are presented, specifying some key aspects of the semantics formally and the expressive power of the language is evaluated, comparing it with other languages for specifying program transformations.
A Programmer Friendly Modular Definition of the Semantics of Java
TLDR
A definition of the semantics of Java programs which can be used as a basis for the standardization of the language and of its implementation on the Java Virtual Machine is proposed.
Consistency of the Java Language Specification
TLDR
This work provides a method for consistency management of language specifications by combining ideas of grammar recovery and grammar transformation for capturing all accidental or intended differences between the 6 JLS grammars in a precise and mechanized manner.
Implementing Built-in Properties for the Java Programming Language
TLDR
In this project, the Java compiler tool, and the Java documentation tool were modified and a new Java annotation processor that generates Java BeanInfo source files was created, resulting in a more productive development environment for the Java programming language.
An Implementation of the Programming Language DML in Java: Compiler and Runtime Environment
TLDR
The implementation of a compiler backend that translates DML programs to Java Virtual Machine code is implemented and code-optimizing techniques and possibilities for the treatment of tail calls are described.
A rewriting approach to the design and evolution of object-oriented languages
TLDR
Large subsets of several existing object-oriented languages have been defined, while a new research language, KOOL, has been created as a platform for experimenting with language features and type systems.
Putting Javari into Practice
TLDR
Usability improvements to Javari are suggested and some of the issues that Javari programmers will face when they begin to use the language are resolved.
Formal Grammar for Java
TLDR
This chapter presents an attribute grammar for the Java programming language, derived from the LALR grammar presented in the Java Language Specification, to formally specify not only the syntactic structure of Java programs, but also their static semantics.
K-Java: A Complete Semantics of Java
TLDR
K-Java is presented, a complete executable formal semantics of Java 1.4 that is applied to model-check multi-threaded programs and is generic and ready to be used in other Java-related projects.
Java Standards: A Comparative Study
TLDR
20 different java standards are included that are also the common standards, with their characteristics, specifications, and limitations, to help researchers and Java developers to help them choose the best standard for their research or application.
...
...

References

SHOWING 1-10 OF 30 REFERENCES
Hints on programming language design.
TLDR
The view that a programming language is a tool which should assist the programmer in the most difficult aspects of his art, namely program design, documentation, and debugging is presented.
SmallTalk 80: The Language
TLDR
This book introduces the Smalltalk-80 approach to information representation and manipulation and provides an overview of the syntax of the language, and describes the addition of an application to model discrete, event-driven simuations.
Common Lisp Object System specification
TLDR
This specification presents adescription of the standard Programmer Interface for the Common Lisp Object System, a object-oriented extension to Common Lisp as defined in Common Lisp: The Language, and provides a facility for declaring new types of method combination.
Object-oriented programming in the BETA programming language
TLDR
The benefits of object-orientation, object-oriented programming and BETA introduction to basic concepts and examples of using virtual patterns are presented.
The Annotated C++ Reference Manual
TLDR
This chapter discusses the evolution of C++ and ANSI C, a standards-based programming language, and its applications in the rapidly changing environment, as well as some of the techniques used to design and implement these systems.
Modula-3
What do you do to start reading modula 3? Searching the book that you love to read first or find an interesting book that will make you want to read? Everybody has difference with their reason of
[Effect of BN52021 on platelet activating factor induced aggregation of psoriatic polymorphonuclear neutrophils].
TLDR
It is suggested that PAF and PMN play an important pathophysiological role in the development of psoriasis, and application of PAF antagonists may be a new and effective approach to the management of Psoriasis.
...
...