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 sy...
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Livre numérique |
| Język: | Anglais |
| Wydane: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seria: | Lecture notes in computer science
1523 |
| Hasła przedmiotowe: | |
| Dostęp online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Komentarz: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Formal syntax and semantics of Java, Jim Alves-Foss (ed.), 1999, Berlin, Springer, 1 vol. (410 p.), Lecture notes in computer science, 3-540-66158-1 • Formal Syntax and Semantics of Java, Texte imprimé, 9783662181621 |
Spis treści:
- Formal Grammar for Java
- Formal Grammar for Java
- Type Soundness
- Describing the Semantics of Java and Proving Type Soundness
- Proving Java Type Soundness
- Machine-Checking the Java Specification: Proving Type-Safety
- Semantic Approaches
- 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.