Lecture Notes in Computer Science Lect.Notes ComputerState-of-the-Art Surveys

Formal Syntax and Semantics of Java

Editors: Alves-Foss, Jim (Ed.)

Free Preview

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-48737-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-66158-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (10 chapters)

Table of contents (10 chapters)
  • Formal Grammar for Java

    Alves-Foss, Jim (et al.)

    Pages 1-40

  • Describing the Semantics of Java and Proving Type Soundness

    Drossopoulou, Sophia (et al.)

    Pages 41-80

  • Proving Java Type Soundness

    Syme, Don

    Pages 83-118

  • Machine-Checking the Java Specification: Proving Type-Safety

    Oheimb, David (et al.)

    Pages 119-156

  • An Event-Based Structural Operational Semantics of Multi-threaded Java

    Cenciarelli, Pietro (et al.)

    Pages 157-200

Buy this book

eBook $89.00
price for USA in USD (gross)
  • ISBN 978-3-540-48737-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $119.00
price for USA in USD
  • ISBN 978-3-540-66158-0
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Syntax and Semantics of Java
Editors
  • Jim Alves-Foss
Series Title
Lecture Notes in Computer Science
Series Volume
1523
Copyright
1999
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48737-1
DOI
10.1007/3-540-48737-9
Softcover ISBN
978-3-540-66158-0
Series ISSN
0302-9743
Edition Number
1
Number of Pages
X, 410
Topics