TY  - BOOK
AU  - Mosses,Peter D.
TI  - Action semantics
T2  - Cambridge Tracts in Theoretical Computer Science 
SN  - 0521403472
PY  - 1992///
CY  - Cambridge
PB  -  Cambridge University Press
KW  - LENGUAJES DE PROGRAMACIÓN
KW  - SEMÁNTICA
KW  - CIENCIAS VETERINARIAS
N1  - Incluye bibliografía, índice de símbolos e índice de conceptos;  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
ER  -