| 书目名称 | Formal Syntax and Semantics of Java |
| 编辑 | Jim Alves-Foss |
| 视频video | |
| 概述 | Includes supplementary material: |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | 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. |
| 出版日期 | Book 1999 |
| 关键词 | Java; Java-Programming; Programming Syntax; embedded systems; formal grammar; formal methods; formal speci |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-48737-9 |
| isbn_softcover | 978-3-540-66158-0 |
| isbn_ebook | 978-3-540-48737-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1999 |
发表于 2025-3-21 20:01:50
