Action semantics
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | inglés |
| Datos de publicación: |
Cambridge :
Cambridge University Press,
c1992
|
| Edición: | 1st ed. |
| Series: | Cambridge Tracts in Theoretical Computer Science
26 |
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Notas: | Incluye bibliografía, índice de símbolos e índice de conceptos. |
| Descripción Física: | xx, 372 p. : il. ; 26 cm. |
| ISBN: | 0521403472 |
Tabla de Contenidos:
- I. Introduction
- 1. Language descriptions
- 2. Action semantic descriptions
- 3. Algebraic specifications
- II. Action notation
- 4. Basic
- 5. Data
- 6. Functional
- 7. Declarative
- 8. Imperative
- 9. Reflective
- 10. Communicative
- III. Semantic descriptions
- 11. Statements
- 12. Literals
- 13. Expressions
- 14. Declarations
- 15. Variables
- 16. Subprograms
- 17. Tasks
- IV. Conclusion
- 18. Other frameworks
- 19. Development