Action semantics

Título:

Action semantics

Autor:

Mosses, Peter D.

Colaboradores:

Temas:

LENGUAJES DE PROGRAMACIÓN ; SEMÁNTICA ; CIENCIAS VETERINARIAS ; 

Edición:

1st ed.

Localización electrónica:

Serie:

Cambridge Tracts in Theoretical Computer Science; 26

Descripción física:

xx, 372 p. :il. ; 26 cm.

ISBN:

0521403472

Idioma:

Inglés, 

País:

Reino Unido

Publicación:

Cambridge : Cambridge University Press, c1992

Nota general:

Incluye bibliografía, índice de símbolos e índice de conceptos.

Puede solicitar más fácilmente el ejemplar con: D.3.1 MOS

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