Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley))

Full text

Online Book

Source

Medium: Paperback

Year of Publication: 2005

ISBN:0321246780

Authors

James Gosling
Bill Joy
Guy Steele
Gilad Bracha

Publisher

Addison-Wesley Professional

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 84

Additional Information:

abstract cited by index terms review collaborative colleagues

Tools and Actions:	Review this Book Save this Book to a Binder Display Formats: BibTeX EndNote ACM Ref

ABSTRACT

Written by the inventors of the technology, The Java™ Language Specification, Third Edition, is the definitive technical reference for the Java™ 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 Java programming language. It provides full coverage of all new features added since the previous edition, including generics, annotations, asserts, autoboxing, enums, for-each loops, variable arity methods, and static import clauses.

CITED BY 85

	Amnon H. Eden , Yoram Hirshfeld, Principles in formal specification of object oriented design and architecture, Proceedings of the 2001 conference of the Centre for Advanced Studies on Collaborative research, p.3, November 05-07, 2001, Toronto, Ontario, Canada
	Derek A. Park , Stephen V. Rice, A framework for unified resource management in Java, Proceedings of the 4th international symposium on Principles and practice of programming in Java, August 30-September 01, 2006, Mannheim, Germany
	Roly Perera , Jeff Foster , György Koch, A delta-driven execution model for semantic computing, Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
	Javier Miranda , Edmond Schonberg , Hristian Kirtchev, The implementation of ada 2005 synchronized interfaces in the GNAT compiler, ACM SIGAda Ada Letters, v.XXV n.4, p.41-48, December 2005
	Bruno Harbulot , John R. Gurd, A join point for loops in AspectJ, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany
	Cormac Flanagan, Hybrid type checking, ACM SIGPLAN Notices, v.41 n.1, p.245-256, January 2006
	Robert F. Stärk, Formal specification and verification of the C# thread model, Theoretical Computer Science, v.343 n.3, p.482-508, 17 October 2005
	T. Agerwala , M. Gupta, Systems research challenges: a scale-out perspective, IBM Journal of Research and Development, v.50 n.2/3, p.173-180, March 2006
	F. Y. Huang , C. B. Jay , D. B. Skillicorn, Adaptiveness in well-typed Java bytecode verification, Proceedings of the 2006 conference of the Center for Advanced Studies on Collaborative research, October 16-19, 2006, Toronto, Ontario, Canada
	Bernd Mathiske , Doug Simon , Dave Ungar, The Project Maxwell assembler system, Proceedings of the 4th international symposium on Principles and practice of programming in Java, August 30-September 01, 2006, Mannheim, Germany
	Daniel Gakh Libicki, Semantics of persistence in the glib programming language, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
	Alessandro Warth , Milan Stanojević , Todd Millstein, Statically scoped object adaptation with expanders, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Douglas Gregor , Jaakko Järvi , Jeremy Siek , Bjarne Stroustrup , Gabriel Dos Reis , Andrew Lumsdaine, Concepts: linguistic support for generic programming in C++, ACM SIGPLAN Notices, v.41 n.10, October 2006
	Florin Craciun , Hong Yaw Goh , Corneliu Popeea , Wei-Ngan Chin, Core-java: an expression-oriented java, Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, October 22-26, 2006, Portland, Oregon, USA
	Vijay A. Saraswat , Radha Jagadeesan , Maged Michael , Christoph von Praun, A theory of memory models, Proceedings of the 12th ACM SIGPLAN symposium on Principles and practice of parallel programming, March 14-17, 2007, San Jose, California, USA
	Cyrille Artho , Armin Biere, Advanced unit testing: how to scale up a unit test framework, Proceedings of the 2006 international workshop on Automation of software test, May 23-23, 2006, Shanghai, China
	James Heliotis, Java version 5 for introductory courses, Journal of Computing Sciences in Colleges, v.21 n.6, p.261-263, June 2006
	Xiaoqi Lu , Scott F. Smith, A microkernel virtual machine:: building security with clear interfaces, Proceedings of the 2006 workshop on Programming languages and analysis for security, June 10-10, 2006, Ottawa, Ontario, Canada
	Jaakko Järvi , Douglas Gregor , Jeremiah Willcock , Andrew Lumsdaine , Jeremy Siek, Algorithm specialization in generic programming: challenges of constrained generics in C++, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Eric Allen , J. J. Hallett , Victor Luchangco , Sukyoung Ryu , Guy L. Steele, Jr., Modular multiple dispatch with multiple inheritance, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	Jaime Niño, Java from the trenches: dealing with object orientation and generics, Journal of Computing Sciences in Colleges, v.22 n.5, p.12-22, May 2007
	Jaime Niño, The cost of erasure in Java generics type system, Journal of Computing Sciences in Colleges, v.22 n.5, p.2-11, May 2007
	Walter Binder , Jarle Hulaas , Philippe Moret, Advanced Java bytecode instrumentation, Proceedings of the 5th international symposium on Principles and practice of programming in Java, September 05-07, 2007, Lisboa, Portugal
	Walter Cazzola , Sonia Pini , Ahmed Ghoneim , Gunter Saake, Co-evolving application code and design models by exploiting meta-data, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	D. Ancona , C. Anderson , F. Damiani , S. Drossopoulou , P. Giannini , E. Zucca, A provenly correct translation of Fickle into Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.2, p.13-es, April 2007
	Douglas Gregor , Jaakko Järvi, Variadic templates for C++, Proceedings of the 2007 ACM symposium on Applied computing, March 11-15, 2007, Seoul, Korea
	José Luis Salazar , Joan Josep Piles , José Ruíz , José María Moreno-Jiménez, E-cognocracy and its voting process, Computer Standards & Interfaces, v.30 n.3, p.124-131, March, 2008
	Sam Tobin-Hochstadt , Matthias Felleisen, The design and implementation of typed scheme, ACM SIGPLAN Notices, v.43 n.1, January 2008
	Alessandro Warth , James R. Douglass , Todd Millstein, Packrat parsers can support left recursion, Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, January 07-08, 2008, San Francisco, California, USA
	Mirko Viroli , Enrico Denti , Alessandro Ricci, Engineering a BPEL orchestration engine as a multi-agent system, Science of Computer Programming, v.66 n.3, p.226-245, May, 2007
	David Monniaux, The pitfalls of verifying floating-point computations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.30 n.3, p.1-41, May 2008
	Philip W. L. Fong, Reasoning about safety properties in a JVM-like environment, Science of Computer Programming, v.67 n.2-3, p.278-300, July, 2007
	Susanne Cech Previtali, Dynamic updates: another middleware service?, Proceedings of the 1st workshop on Middleware-application interaction: in conjunction with Euro-Sys 2007, March 20-20, 2007, Lisbon, Portugal
	Brian Blount , Siddhartha Chatterjee, An evaluation of Java for numerical computing, Scientific Programming, v.7 n.2, p.97-110, April 1999
	Maurizio Cimadamore , Mirko Viroli, Integrating Java and Prolog through generic methods and type inference, Proceedings of the 2008 ACM symposium on Applied computing, March 16-20, 2008, Fortaleza, Ceara, Brazil
	Kiyokuni Kawachiya , Kazunori Ogata , Daniel Silva , Tamiya Onodera , Hideaki Komatsu , Toshio Nakatani, Cloneable JVM: a new approach to start isolated java applications faster, Proceedings of the 3rd international conference on Virtual execution environments, June 13-15, 2007, San Diego, California, USA
	R. L. Drechsler , J. M. Mocenigo, The Yoix® scripting language: a different way of writing Java™ applications, Software—Practice & Experience, v.37 n.6, p.643-667, May 2007
	A. V. Zamulin, Algebraic Semantics of an Imperative Programming Language, Programming and Computing Software, v.29 n.6, p.328-337, November-December 2003
	Mike Fulton , Mark Stoodley, Compilation Techniques for Real-Time Java Programs, Proceedings of the International Symposium on Code Generation and Optimization, p.221-231, March 11-14, 2007
	Seth White , Alexandre Alves , David Rorke, WebLogic event server: a lightweight, modular application server for event processing, Proceedings of the second international conference on Distributed event-based systems, July 01-04, 2008, Rome, Italy
	Andruid Kerne , Zachary O. Toups , Blake Dworaczyk , Madhur Khandelwal, A concise XML binding framework facilitates practical object-oriented document engineering, Proceeding of the eighth ACM symposium on Document engineering, September 16-19, 2008, Sao Paulo, Brazil
	Joseph Gil , Itay Maman, Whiteoak: introducing structural typing into java, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Thomas Kotzmann , Christian Wimmer , Hanspeter Mössenböck , Thomas Rodriguez , Kenneth Russell , David Cox, Design of the Java HotSpot™ client compiler for Java 6, ACM Transactions on Architecture and Code Optimization (TACO), v.5 n.1, p.1-32, May 2008
	Christian Hammer , Julian Dolby , Mandana Vaziri , Frank Tip, Dynamic detection of atomic-set-serializability violations, Proceedings of the 30th international conference on Software engineering, May 10-18, 2008, Leipzig, Germany
	Stéphane Ducasse , Roel Wuyts , Alexandre Bergel , Oscar Nierstrasz, User-changeable visibility: resolving unanticipated name clashes in traits, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Maurizio Cimadamore , Mirko Viroli, A Prolog-oriented extension of Java programming based on generics and annotations, Proceedings of the 5th international symposium on Principles and practice of programming in Java, September 05-07, 2007, Lisboa, Portugal
	Patrice Chalin , Perry R. James , George Karabotsos, An integrated verification environment for JML: architecture and early results, Proceedings of the 2007 conference on Specification and verification of component-based systems: 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, p.47-53, September 03-04, 2007, Dubrovnik, Croatia
	Yannis Smaragdakis , Anthony Kay , Reimer Behrends , Michal Young, Transactions with isolation and cooperation, ACM SIGPLAN Notices, v.42 n.10, October 2007
	Roman R. Redziejowski, Parsing Expression Grammar as a Primitive Recursive-Descent Parser with Backtracking, Fundamenta Informaticae, v.79 n.3-4, p.513-524, August 2007
	Walter Binder , Alex Villazón , Martin Schoeberl , Philippe Moret, Cache-aware cross-profiling for java processors, Proceedings of the 2008 international conference on Compilers, architectures and synthesis for embedded systems, October 19-24, 2008, Atlanta, GA, USA
	Rick Chern , Kris De Volder, The impact of static-dynamic coupling on remodularization, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Shan Shan Huang , David Zook , Yannis Smaragdakis, Domain-specific languages and program generation with meta-AspectJ, ACM Transactions on Software Engineering and Methodology (TOSEM), v.18 n.2, p.1-32, November 2008
	Daniel Smith , Robert Cartwright, Java type inference is broken: can we fix it?, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Nathaniel Nystrom , Vijay Saraswat , Jens Palsberg , Christian Grothoff, Constrained types for object-oriented languages, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Adriaan Moors , Frank Piessens , Martin Odersky, Generics of a higher kind, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Mariana Sharp , Atanas Rountev, Static Analysis of Object References in RMI-Based Java Software, IEEE Transactions on Software Engineering, v.32 n.9, p.664-681, September 2006
	Christian Häubl , Christian Wimmer , Hanspeter Mössenböck, Optimized strings for the Java HotSpot™ virtual machine, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy
	Kiyokuni Kawachiya , Kazunori Ogata , Tamiya Onodera, Analysis and reduction of memory inefficiencies in Java strings, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Sérgio Agostinho , Ana Moreira , Pedro Guerreiro, Contracts for aspect-oriented design, Proceedings of the 2008 AOSD workshop on Software engineering properties of languages and aspect technologies, p.1-6, March 31-April 04, 2008, Brussels, Belgium
	Andreas Gampe , Jeffery von Ronne , David Niedzielski , Kleanthis Psarris, Speculative improvements to verifiable bounds check elimination, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy
	Ian Rogers , Jisheng Zhao , Chris Kirkham , Ian Watson, Constraint based optimization of stationary fields, Proceedings of the 6th international symposium on Principles and practice of programming in Java, September 09-11, 2008, Modena, Italy
	Bart Jacobs , Frank Piessens , Jan Smans , K. Rustan M. Leino , Wolfram Schulte, A programming model for concurrent object-oriented programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.31 n.1, p.1-48, December 2008
	BjÖrn Bringert , Aarne Ranta, A pattern for almost compositional functions, Journal of Functional Programming, v.18 n.5-6, p.567-598, September 2008
	Arnab De , Abhik Roychoudhury , Deepak D'Souza, Java memory model aware software validation, Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, November 09-10, 2008, Atlanta, Georgia
	Roman R. Redziejowski, Some Aspects of Parsing Expression Grammar, Fundamenta Informaticae, v.85 n.1-4, p.441-451, September 2008
	Marco Bellia , M. Eugenia Occhiuto, Methods as Parameters: A Preprocessing Approach to Higher Order in Java, Fundamenta Informaticae, v.85 n.1-4, p.35-50, September 2008
	Hans Langmaack , Andrzej Salwicki , Marek Warpechowski, A Deterministic Algorithm for Identifying Direct Superclasses in Java, Fundamenta Informaticae, v.85 n.1-4, p.343-357, September 2008
	JosÉ m. CaÑete-valdeÓn, On the interpretation of mathematical entities in the formalisation of programming and modelling languages, Mathematical Structures in Computer Science, v.18 n.6, p.1017-1030, December 2008
	David Briggs , Suad Alagić, Algebraic specification techniques for parametric types with logic-based constraints, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
	Dennis Giffhorn , Christian Hammer, Precise slicing of concurrent programs, Automated Software Engineering, v.16 n.2, p.197-234, June 2009
	Arne Munch-Ellingsen , Dan Peder Eriksen , Anders Andersen, Argos, an extensible personal application server, Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware, November 26-30, 2007, Newport Beach, California
	Hans Langmaack , Andrzej Salwicki , Marek Warpechowski, On an algorithm determining direct superclasses in Java and similar languages with inner classes---Its correctness, completeness and uniqueness of solutions, Information and Computation, v.207 n.3, p.389-410, March, 2009
	George S. Lueker, Improved bounds on the average length of longest common subsequences, Journal of the ACM (JACM), v.56 n.3, p.1-38, May 2009
	Sushil Bajracharya , Joel Ossher , Cristina Lopes, Sourcerer: An internet-scale software repository, Proceedings of the 2009 ICSE Workshop on Search-Driven Development-Users, Infrastructure, Tools and Evaluation, p.1-4, May 16-16, 2009
	Carlos Noguera , Renaud Pawlak, AVal: an extensible attribute-oriented programming validator for Java: Research Articles, Journal of Software Maintenance and Evolution: Research and Practice, v.19 n.4, p.253-275, July 2007
	Marco Bellia , M. Eugenia Occhiuto, JavaΩ: The Structures and the Implementation of a Preprocessor for Java with m and mc parameters, Fundamenta Informaticae, v.93 n.1-3, p.45-64, January 2009
	Eric Bodden , Reehan Shaikh , Laurie Hendren, Relational aspects as tracematches, Proceedings of the 7th international conference on Aspect-oriented software development, March 31-April 04, 2008, Brussels, Belgium
	Moritz Balz , Michael Goedicke, Embedding process models in object-oriented program code, Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture, p.1-7, June 23-23, 2009, Enschede, The Netherlands
	James H. Cross, II , T. Dean Hendrix , David A. Umphress , Larry A. Barowski , Jhilmil Jain , Lacey N. Montgomery, Robust Generation of Dynamic Data Structure Visualizations with Multiple Interaction Approaches, ACM Transactions on Computing Education (TOCE), v.9 n.2, p.1-32, June 2009
	Bruno De Fraine , Mario Südholt , Viviane Jonckers, StrongAspectJ: flexible and safe pointcut/advice bindings, Proceedings of the 7th international conference on Aspect-oriented software development, March 31-April 04, 2008, Brussels, Belgium
	Giovanni Pighizzini, Nondeterministic one-tape off-line turing machines and their time complexity, Journal of Automata, Languages and Combinatorics, v.14 n.1, p.107-124, January 2009
	Zhenchang Xing , Eleni Stroulia, Analyzing the Evolutionary History of the Logical Design of Object-Oriented Software, IEEE Transactions on Software Engineering, v.31 n.10, p.850-868, October 2005
	Allan Raundahl Gregersen , Douglas Simon , Bo Nørregaard Jørgensen, Towards a dynamic-update-enabled JVM, Proceedings of the Workshop on AOP and Meta-Data for Software Evolution, p.1-7, July 07-07, 2009, Genova, Italy
	Javier Ferrer , Francisco Chicano , Enrique Alba, Dealing with inheritance in OO evolutionary testing, Proceedings of the 11th Annual conference on Genetic and evolutionary computation, July 08-12, 2009, Montreal, Québec, Canada
	Michael Sperber , R. kent Dybvig , Matthew Flatt , Anton Van straaten , Robby Findler , Jacob Matthews, Revised6 report on the algorithmic language scheme, Journal of Functional Programming, v.19 n.S1, p.1-301, August 2009

INDEX TERMS

Primary Classification:
D. Software
D.3 PROGRAMMING LANGUAGES
D.3.2 Language Classifications

Nouns: Java

REVIEW

"Rohit Bahl : Reviewer"

This is not a tutorial about the Java language, but rather a reference tool for it. It is the definitive guide to the Java language. The book holds more value for users at the intermediate and advanced levels, and it serves as a good resource to l more...

Collaborative Colleagues:

James Gosling: colleagues

Bill Joy: colleagues

Guy Steele: colleagues

Gilad Bracha: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player