Skip to main content
SpringerLink
Log in

Formal Syntax and Semantics of Java

  • Book
  • © 1999

Overview

Editors:
  1. Jim Alves-Foss

    1. Center for Secure and Dependable Software, University of Idaho, Moscow, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1523)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 chapters)

  1. Front Matter

    Pages I-IX
    Download chapter PDF

  2. Formal Grammar for Java

    1. Formal Grammar for Java

      • Jim Alves-Foss, Deborah Frincke
      Pages 1-40

  3. Type Soundness

    1. Describing the Semantics of Java and Proving Type Soundness

      • Sophia Drossopoulou, Susan Eisenbach
      Pages 41-80

    2. Proving Java Type Soundness

      • Don Syme
      Pages 83-118

    3. Machine-Checking the Java Specification: Proving Type-Safety

      • David von Oheimb, Tobias Nipkow
      Pages 119-156

  4. Semantic Approaches

    1. An Event-Based Structural Operational Semantics of Multi-threaded Java

      • Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing
      Pages 157-200

    2. Dynamic Denotational Semantics of Java

      • Jim Alves-Foss, Fong Shing Lam
      Pages 201-240

    3. A Programmer’s Reduction Semantics for Classes and Mixins

      • Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
      Pages 241-269

    4. A Formal Specification of Javaℳ Virtual Machine Instructions for Objects, Methods and Subroutines

      • Zhenyu Qian
      Pages 271-311

    5. The Operational Semantics of a Java Secure Processor

      • Pieter H. Hartel, Michael J. Butler, Moshe Levy
      Pages 313-351

    6. A Programmer Friendly Modular Definition of the Semantics of Java

      • Egon Börger, Wolfram Schulte
      Pages 353-404
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • Center for Secure and Dependable Software, University of Idaho, Moscow, USA

    Jim Alves-Foss

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation