| 書目名稱 | Formal Syntax and Semantics of Java |
| 編輯 | Jim Alves-Foss |
| 視頻video | http://file.papertrans.cn/346/345908/345908.mp4 |
| 概述 | 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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-7 23:13
發(fā)表于 2025-3-21 20:01:50
