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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!