000 | 02240nam a22003137a 4500 | ||
---|---|---|---|
001 | sulb-eb0016435 | ||
003 | BD-SySUS | ||
005 | 20160405140609.0 | ||
008 | 101021s2010||||enk o ||1 0|eng|d | ||
020 | _a9780511840449 (ebook) | ||
020 | _z9780521197465 (hardback) | ||
020 | _z9780521147095 (paperback) | ||
040 |
_aUkCbUP _beng _erda _cUkCbUP _dBD-SySUS. |
||
050 | 0 | 0 |
_aQA76.7 _b.H88 2010 |
082 | 0 | 0 |
_a005.131 _222 |
100 | 1 |
_aHüttel, Hans, _eauthor. |
|
245 | 1 | 0 |
_aTransitions and Trees : _bAn Introduction to Structural Operational Semantics / _cHans Hüttel. |
246 | 3 | _aTransitions & Trees | |
264 | 1 |
_aCambridge : _bCambridge University Press, _c2010. |
|
300 |
_a1 online resource (290 pages) : _bdigital, PDF file(s). |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
500 | _aTitle from publisher's bibliographic system (viewed on 04 Apr 2016). | ||
520 | _aStructural 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. | ||
776 | 0 | 8 |
_iPrint version: _z9780521197465 |
856 | 4 | 0 | _uhttp://dx.doi.org/10.1017/CBO9780511840449 |
942 |
_2Dewey Decimal Classification _ceBooks |
||
999 |
_c37873 _d37873 |