The Java Language Specification, Java SE 8 Edition
By James Gosling, B. Joy, Guy L. Steele Jr., Gilad Bracha, Alex Buckley. 2013
420 citations recorded by the source corpus.
View Paper: https://www.semanticscholar.org/paper/317f712d87fe0286d8d845c2be921b6f2a472f34
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
Citations in the corpus
- A Novel Neural Source Code Representation Based on Abstract Syntax Tree (2019, background): “Here statements refer to the Statement AST nodes defined in program language specification [30].”
- Pymoo: Multi-Objective Optimization in Python (2020, methodology): “Recently, the well-known multi-objective optimization framework jMetal [15] developed in Java [19] has been ported to a Python version, namely jMetalPy [2].”
- Coverage-directed differential testing of JVM implementations (2016, methodology): “Second, there exist compatibility issues among JVM implementations (see Ch. 13 of the Java Language Specifica-tion [17]).”
- Deductive Software Verification – The KeY Book (2016, methodology): “Instead, we treat the function ρ as a black box that captures the behavior of the legal program fragments p and is informally described by the Java Language Specification [Gosling et al., 2013].”