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