[TYPES/announce] Book announcement: Transitions and Trees - An Introduction to Structural Operational Semantics

[Hans Hüttel]

Dear all

I would like to announce the publication this month of the following  
book, which may be of interest to you.

best regards

Hans

--

Transitions and Trees
An Introduction to Structural Operational Semantics

Hans Hüttel
Department of Computer Science
Aalborg University
Denmark

Structural operational semantics is a simple, yet powerful  
mathematical theory for describing the behaviour of programs in an  
implementation-independent manner. This book provides a self-contained  
introduction to structural operational semantics, featuring semantic  
definitions using big-step and small-step semantics of many standard  
programming language constructs, including control structures,  
structured declarations and objects, parameter mechanisms and  
procedural abstraction, concurrency, nondeterminism and the features  
of functional programming languages. Along the way, the text  
introduces and applies the relevant proof techniques, including forms  
of induction and notions of semantic equivalence (including  
bisimilarity). Thoroughly class-tested, this book has evolved from  
lecture notes used by the author over a 10-year period at Aalborg  
University to teach undergraduate and graduate students. The result is  
a thorough introduction that makes the subject clear to students and  
computing professionals without sacrificing its rigour. No experience  
with any specific programming language is required.

Contents
--------

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; 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20100525/a3f74e73/attachment.htm