Books > Computing & IT > General theory of computing > Data structures
|
Buy Now
Transitions and Trees - An Introduction to Structural Operational Semantics (Paperback)
Loot Price: R1,812
Discovery Miles 18 120
|
|
Transitions and Trees - An Introduction to Structural Operational Semantics (Paperback)
Expected to ship within 12 - 17 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.