Transitions and Trees - An Introduction to Structural Operational Semantics

Informationen zum Autor Hans Hüttel is Associate Professor in the Department of Computer Science at Aalborg University, Denmark. Klappentext A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use. Zusammenfassung A rigorous! self-contained introduction to structural operational semantics and how to use it to describe! reason about and assist the implementation of features found in common programming languages. The author assumes no experience with any specific programming language! making the book easily accessible to students and computing professionals. Inhaltsverzeichnis 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.

Produktdetails

• Autoren: Hans H. Ttel, Hans H¿ttel, Hans Huttel, Hans Hüttel
• Verlag: Cambridge University Press ELT
• Sprache: Englisch
• Produktform: Fester Einband
• Erschienen: 29.04.2010
• EAN: 9780521197465
• ISBN: 978-0-521-19746-5
• Seiten: 290
• Themen: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Programmiersprachen; Funktionale Programmierung, algorithms and data structures, Algorithms & data structures, Mathematical theory of computation, Functional programming, COMPUTERS / Languages / General