Formal Syntax and Semantics of Java

Formal Syntax and Semantics of Java

Author: Jim Alves-Foss

Publisher: Springer

ISBN: 9783540487371

Category: Computers

Page: 410

View: 948

Download Now
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 Syntax and Semantics of Java
Language: en
Pages: 410
Authors: Jim Alves-Foss
Categories: Computers
Type: BOOK - Published: 2003-07-31 - Publisher: Springer

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
Tools and Algorithms for the Construction of Analysis of Systems
Language: en
Pages: 456
Authors: W. Rance Cleaveland
Categories: Computers
Type: BOOK - Published: 2003-05-21 - Publisher: Springer

ETAPS’99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops
ECOOP 2002 - Object-Oriented Programming
Language: en
Pages: 637
Authors: Boris Magnusson
Categories: Computers
Type: BOOK - Published: 2003-08-02 - Publisher: Springer

This book constitutes the refereed proceedings of the 16th European Conference on Object-Oriented Programming, ECOOP 2002, held in Malaga, Spain, in June 2002. The 24 revised full papers presented together with one full invited paper were carefully reviewed and selected from 96 submissions. The book offers topical sections on aspect-oriented
Foundations of Secure Computation
Language: en
Pages: 319
Authors: Friedrich L. Bauer, Ralf Steinbrüggen
Categories: Computers
Type: BOOK - Published: 2000 - Publisher: IOS Press

The final quarter of the 20th century has seen the establishment of a global computational infrastructure. This and the advent of programming languages such as Java, supporting mobile distributed computing, has posed a significant challenge to computer sciences. The infrastructure can support commerce, medicine and government, but only if communications
Theorem Proving in Higher Order Logics
Language: en
Pages: 340
Authors: Konrad Slind, Annette Bunker, Ganesh C. Gopalakrishnan
Categories: Computers
Type: BOOK - Published: 2004-09-01 - Publisher: Springer Science & Business Media

This volume constitutes the proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14–17, 2004 in Park City, Utah, USA. TPHOLs covers all aspects of theorem proving in higher-order logics as well as related topics in theorem proving and veri?cation. There were