Formal Syntax and Semantics of Java

Formal Syntax and Semantics of Java edited by Jim Alves-Foss.

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 sy...

Full description

Saved in:
Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Alves-Foss, Jim (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Edition:1st ed. 1999.
Series:Lecture Notes in Computer Science, 1523
Springer eBook Collection.
Subjects:
Programming languages (Electronic computers).
Computer logic.
Software engineering.
Electronic resources (E-books)
Online Access:Click to view e-book
Holy Cross Note:Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Table of Contents:
  • 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.

Similar Items