The Java Language Specification, Java Se 7 Edition

Written by the inventors of the technology, The Java® Language Specification, Java SE 7 Edition is the definitive technical reference for the Java programming language.

The Java Language Specification, Java SE 7 Edition

James Gosling, Bill Joy, Guy Steele, Gilad Bracha, Alex Buckley

Addison-Wesley

2013

Abstract

The book provides complete, accurate, and detailed coverage of the Java programming language. It fully describes the new features added in Java SE 7. The book also includes many explanatory notes and carefully distinguishes the formal rules of the language from the practical behavior of compilers.

The "diamond" syntax and precise rethrow give type inference a new visibility in the Java programming language. To a great extent, inference is worthwhile only if it produces types no less specific than those in a manifestly-typed program prior to Java SE 7.

Otherwise, new code may find inference insufficient, and migration from manifest to inferred types in existing code will be risky. To mitigate the risk, Joe Darcy and Maurizio Cimadamore measured the effectiveness of different inference schemes on a large corpus of open source Java code. Such "quantitative language design" greatly improves confidence in the suitability and safety of the final feature. The challenge of growing a mature language with millions of developers is partially offset by the ability of language designers to learn from developers' actual code

The Java SE 7 platform adds features that cater for non-Java languages, effectively expanding the computational model of the platform. Without changes, the Java programming language would be unable to access or even express some of these features. Its static type system comes under particular stress when invoking code written in dynamically typed languages. Consequently, method invocation in the Java programming language has been modified to support method handle invocation as defined by JSR 292, Dynamically Typed Languages on the Java Platform.

Citation

Gosling, James, et al. "The Java language specification, Java SE 7 edition". Addison-Wesley, 2013.

Collection

Công nghệ thông tin

Related document

The Java language specificationJava: The Complete ReferenceCore Java: Fundamentals 10th Edition
The Java language specification (Java SE 7 Edition)Java: The Complete ReferenceCore Java: Fundamentals 10th Edition

Mã QR

The Java language specification

Content

  • Thứ Ba, 15:26 31/05/2022

Tin tiêu điểm

Thư viện Đại học Công nghiệp Hà Nội tổ chức Tập huấn sử dụng phần mềm và khai thác tài nguyên thư viện phục vụ nghiên cứu, học tập và giảng dạy

Thứ Tư, 15:27 06/04/2022
Trung tâm Thông tin - Thư viện tổ chức tập huấn công tác xây dựng Bộ sưu tập theo ngành đào tạo

Trung tâm Thông tin - Thư viện tổ chức tập huấn công tác xây dựng Bộ sưu tập theo ngành đào tạo

Thứ Sáu, 07:46 14/01/2022

Thư viện Trường ĐH Công nghiệp Hà Nội tổ chức chương trình Hướng dẫn khai thác, sử dụng thư viện cho sinh viên khóa mới

Thứ Sáu, 14:27 19/11/2021

PGS.TS. Nguyễn Thị Lệ - Trưởng khoa khoa Công nghệ may & Thiết kế Thời trang trao tặng sách cho Thư viện Trường Đại học Công nghiệp Hà Nội

Thứ Tư, 09:15 29/09/2021

Thư viện ĐH Công nghiệp Hà Nội Chào đón tân sinh viên K16

Thứ Hai, 15:43 27/09/2021

Các bài đã đăng

Windows Server 2003 Security Bible

Thứ Tư, 14:49 17/08/2022

The Murders in the Rue Morgue

Thứ Tư, 14:43 17/08/2022

One Punch Away

Thứ Tư, 14:42 17/08/2022

Minna no Nihongo Tiếng nhật cho mọi người: Bản mới - sơ cấp 2 tổng hợp các bài tập chủ điểm

Thứ Tư, 14:28 17/08/2022

Kid napped

Thứ Tư, 14:23 17/08/2022

Bách khoa mạch điện và hướng dẫn xử lý sự cố mạch điện Tập 1

Thứ Ba, 15:17 31/05/2022

Thiết bị trao đổi nhiệt

Thứ Ba, 14:31 31/05/2022

Mạch điện chọn lọc

Thứ Ba, 10:45 31/05/2022

Sửa chữa thực hành kỹ thuật điện lạnh

Thứ Ba, 10:22 31/05/2022

Sửa chữa thực hành kỹ thuật điện lạnh

Thứ Ba, 10:01 31/05/2022

Video giới thiệu