Hans Hüttel
Transitions and Trees
Hans Hüttel
Transitions and Trees
- Gebundenes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use.
Andere Kunden interessierten sich auch für
- Ch.V RaghavendranData Structures through C++ ¿ A quick reference51,99 €
- Umar KhanData Structures36,99 €
- CH Hari PrasadData Structures through C++40,99 €
- Kavitha CData Structures using C46,99 €
- Lars PeterkeVue.js kurz & gut14,90 €
- Hanne Riis NielsonSemantics with Applications: An Appetizer49,99 €
- Arjen MarkusModern Fortran in Practice61,99 €
-
-
-
A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use.
Produktdetails
- Produktdetails
- Verlag: Cambridge University Press
- Seitenzahl: 292
- Erscheinungstermin: 29. April 2010
- Englisch
- Abmessung: 250mm x 175mm x 20mm
- Gewicht: 689g
- ISBN-13: 9780521197465
- ISBN-10: 0521197465
- Artikelnr.: 31193496
- Verlag: Cambridge University Press
- Seitenzahl: 292
- Erscheinungstermin: 29. April 2010
- Englisch
- Abmessung: 250mm x 175mm x 20mm
- Gewicht: 689g
- ISBN-13: 9780521197465
- ISBN-10: 0521197465
- Artikelnr.: 31193496
Hans Hüttel is Associate Professor in the Department of Computer Science at Aalborg University, Denmark.
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 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 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.