Local cover image
Local cover image

Action semantics

By: Material type: TextTextSeries: Cambridge Tracts in Theoretical Computer Science ; 26Publication details: Cambridge : Cambridge University Press, c1992Edition: 1st edDescription: xx, 372 p. : il. ; 26 cmISBN:
  • 0521403472
Subject(s):
Contents:
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
Star ratings
    Average rating: 0.0 (0 votes)

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

Click on an image to view it in the image viewer

Local cover image