Formal Syntax and Semantics of Java
Published on 9. June 1999
Book
Paperback/Softback
X, 410 pages
978-3-540-66158-0 (ISBN)
Description
Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users with a wide range of functionality and versatility. This thoroughly cross-reviewed state-of-the-art survey is devoted to the study of the syntax and semantics of Java from a formal-methods point of view. It consists of the following chapters by leading researchers: Formal Grammar for Java; Describing the Semantics of Java and Proving Type Soundness; Proving Java Type Soundness; Machine-Checking the Java Specification: Proving Type-Safety; An Event-Based Structural Operational Semantics of Multi-Threaded Java Dynamic Denotational Semantics of Java; A Programmer's Reduction Semantics for Classes and Mixins; A Formal Specification of Java Virtual Machine Instructions for Objects, Methods and Subroutines; The Operational Semantics of a Java Secure Processor; A Programmer Friendly Modular Definition of the Semantics of Java.
More details
Series
Edition
1999 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
X, 410 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 23 mm
Weight
633 gr
ISBN-13
978-3-540-66158-0 (9783540661580)
DOI
10.1007/3-540-48737-9
Schweitzer Classification
Other editions
Additional editions
Jim Alves-Foss
Formal Syntax and Semantics of Java
E-Book
07/2003
Springer
€53.49
Available for download
Content
Formal Grammar for Java.- Formal Grammar for Java.- Type Soundness.- Describing the Semantics of Java and Proving Type Soundness.- Proving Java Type Soundness.- Machine-Checking the Java Specification: Proving Type-Safety.- Semantic Approaches.- An Event-Based Structural Operational Semantics of Multi-threaded Java.- Dynamic Denotational Semantics of Java.- A Programmer's Reduction Semantics for Classes and Mixins.- A Formal Specification of Java? Virtual Machine Instructions for Objects, Methods and Subroutines.- The Operational Semantics of a Java Secure Processor.- A Programmer Friendly Modular Definition of the Semantics of Java.