Transitions and Trees
-10%
portes grátis
Transitions and Trees
An Introduction to Structural Operational Semantics
Huttel, Hans
Cambridge University Press
04/2010
290
Dura
Inglês
9780521197465
15 a 20 dias
A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use.
List of illustrations; List of tables; Preface; About the illustrations; Part I. Background: 1. A question of semantics; 2. Mathematical preliminaries; Part II. First Examples: 3. The basic principles; 4. Basic imperative statements; Part III. Language Constructs: 5. Control structures; 6. Blocks and procedures (1); 7. Parameters; 8. Concurrent communicating processes; 9. Structured declarations; 10. Blocks and procedures (2); 11. Concurrent object-oriented languages; 12. Functional programming languages; Part IV. Related Topics: 13. Typed programming languages; 14. An introduction to denotational semantics; 15. Recursive definitions; Appendix A. A big-step semantics of Bip; Appendix B. Implementing semantic definitions in SML; References; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use.
List of illustrations; List of tables; Preface; About the illustrations; Part I. Background: 1. A question of semantics; 2. Mathematical preliminaries; Part II. First Examples: 3. The basic principles; 4. Basic imperative statements; Part III. Language Constructs: 5. Control structures; 6. Blocks and procedures (1); 7. Parameters; 8. Concurrent communicating processes; 9. Structured declarations; 10. Blocks and procedures (2); 11. Concurrent object-oriented languages; 12. Functional programming languages; Part IV. Related Topics: 13. Typed programming languages; 14. An introduction to denotational semantics; 15. Recursive definitions; Appendix A. A big-step semantics of Bip; Appendix B. Implementing semantic definitions in SML; References; Index.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
