+612 9045 4394
 
CHECKOUT
Formal Syntax and Semantics of Java : Lecture Notes in Computer Science - Jim Alves-Foss

Formal Syntax and Semantics of Java

Lecture Notes in Computer Science

By: Jim Alves-Foss (Editor)

Paperback Published: 9th June 1999
ISBN: 9783540661580
Number Of Pages: 410

Share This Book:

Paperback

$146.95
or 4 easy payments of $36.74 with Learn more
Ships in 5 to 9 business days

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.

Formal Grammar for Javap. 1
Type Soundness
Describing the Semantics of Java and Proving Type Soundnessp. 41
Proving Java Type Soundnessp. 83
Machine-Checking the Java Specification: Proving Type-Safetyp. 119
Semantic Approaches
An Event-Based Structural Operational Semantics of Multi-threaded Javap. 157
Dynamic Denotational Semantics of Javap. 201
A Programmer's Reduction Semantics for Classes and Mixinsp. 241
A Formal Specification of JavaTM Virtual Machine Instructions for Objects, Methods and Subroutinesp. 271
The Operational Semantics of a Java Secure Processorp. 313
A Programmer Friendly Modular Definition of the Semantics of Javap. 353
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9783540661580
ISBN-10: 3540661581
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 410
Published: 9th June 1999
Publisher: SPRINGER VERLAG GMBH
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 2.18
Weight (kg): 0.59