A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use.Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hans Hüttel is Associate Professor in the Department of Computer Science at Aalborg University, Denmark.
Inhaltsangabe
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.
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.
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Internetauftritt der buecher.de internetstores GmbH
Geschäftsführung: Monica Sawhney | Roland Kölbl | Günter Hilger
Sitz der Gesellschaft: Batheyer Straße 115 - 117, 58099 Hagen
Postanschrift: Bürgermeister-Wegele-Str. 12, 86167 Augsburg
Amtsgericht Hagen HRB 13257
Steuernummer: 321/5800/1497
USt-IdNr: DE450055826
