Formal Syntax and Semantics of Java
Produktnummer:
1864999cf2b9f6412d887e6bae55e4cfe9
| Themengebiete: | Java Java-Programming Programming Syntax embedded systems formal grammar formal methods formal specification high-level programming language language program semantics |
|---|---|
| Veröffentlichungsdatum: | 09.06.1999 |
| EAN: | 9783540661580 |
| Sprache: | Englisch |
| Seitenzahl: | 410 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Alves-Foss, Jim |
| Verlag: | Springer Berlin |
Produktinformationen "Formal Syntax and Semantics of Java"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen