Transitions and Trees: An Introduction to Structural Operational Semantics
Autor Hans Hüttelen Limba Engleză Hardback – 28 apr 2010
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 459.72 lei 6-8 săpt. | |
Cambridge University Press – 28 apr 2010 | 459.72 lei 6-8 săpt. | |
Hardback (1) | 790.42 lei 6-8 săpt. | |
Cambridge University Press – 28 apr 2010 | 790.42 lei 6-8 săpt. |
Preț: 790.42 lei
Preț vechi: 988.02 lei
-20% Nou
Puncte Express: 1186
Preț estimativ în valută:
151.36€ • 163.72$ • 126.12£
151.36€ • 163.72$ • 126.12£
Carte tipărită la comandă
Livrare economică 11-25 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780521197465
ISBN-10: 0521197465
Pagini: 290
Ilustrații: 25 b/w illus. 75 tables 85 exercises
Dimensiuni: 180 x 254 x 19 mm
Greutate: 0.66 kg
Ediția:New.
Editura: Cambridge University Press
Colecția Cambridge University Press
Locul publicării:Cambridge, United Kingdom
ISBN-10: 0521197465
Pagini: 290
Ilustrații: 25 b/w illus. 75 tables 85 exercises
Dimensiuni: 180 x 254 x 19 mm
Greutate: 0.66 kg
Ediția:New.
Editura: Cambridge University Press
Colecția Cambridge University Press
Locul publicării:Cambridge, United Kingdom
Cuprins
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.
Recenzii
'This book explains how programming languages actually work, with a wealth of examples. It shows convincingly that these languages go hand-in-hand with the simplest kind of logic. I would enjoy teaching from it.' Robin Milner, University of Cambridge
'A useful and thorough introduction to the structural operational semantics of programming languages.' Gordon Plotkin, University of Edinburgh
'This book is an excellent introduction to the theory of structured operational semantics, an ideal choice for a first course on semantics for students in computer science. The book covers the theory all the way from a few simple mathematical preliminaries to advanced examples of its use in describing and reasoning about modern programming language features. The presentation is a result of the author's experience in teaching the material over more than ten years, and it is unique in its pedagogical approach, guiding the reader gently via illustrative examples and exercises, as well as several invitations to the reader to pause and reflect: a moment's thought.' Mogens Nielsen, Aarhus University
'A useful and thorough introduction to the structural operational semantics of programming languages.' Gordon Plotkin, University of Edinburgh
'This book is an excellent introduction to the theory of structured operational semantics, an ideal choice for a first course on semantics for students in computer science. The book covers the theory all the way from a few simple mathematical preliminaries to advanced examples of its use in describing and reasoning about modern programming language features. The presentation is a result of the author's experience in teaching the material over more than ten years, and it is unique in its pedagogical approach, guiding the reader gently via illustrative examples and exercises, as well as several invitations to the reader to pause and reflect: a moment's thought.' Mogens Nielsen, Aarhus University
Notă biografică
Descriere
A rigorous, self-contained introduction to the theory of operational semantics of programming languages and its use.