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 Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
