Transitions and Trees: An Introduction to Structural Operational Semantics
Free Shipping Included! Transitions and Trees: An Introduction to Structural Operational Semantics by Hans Huttel at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. Structural operational semantics is a simple, yet powerful mathematical theory for describing the behaviour of programs in an
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.
|Manufacturer:||Cambridge University Press|
|Publisher:||Cambridge University Press|
|Studio:||Cambridge University Press|
|Item Weight:||1.45 pounds|
|Item Size:||0.75 x 9.72 x 9.72 inches|
|Package Weight:||1.5 pounds|
|Package Size:||6.77 x 0.79 x 0.79 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Hans Huttel, contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
By Brand: Birkhäuser
mpn: biography, ean: 9781461267041, isbn: 1461267048,
This book is a revised edition of the monograph which appeared under the same title in the series Research Notes in Theoretical Computer Science, Pit man, in 1986. In addition to a general effort to improve typography, English, and presentation, th...
mpn: biography, ean: 9781461348252, isbn: 1461348250,
The projectors are considered as simple but important type of matrices and operators. Their basic theory can be found in many books, among which Hal mas ,  are of particular significance. The projectors or projections became an active res...
ean: 9781848825420, isbn: 1848825420,
Fortran has been the premier language for scientific computing since its introduction in 1957. Fortran originally was designed to allow programmers to evaluate for- las―FORmula TRANslation―easily on large computers. Fortran compilers are now avai...
By Laxmi Publications
ean: 9788131800805, isbn: 8131800806,
Although DSP Has Long Been Considered An EE Topic, Recent Developments Have Also Generated Significant Interest From The Computer Science Community. DSP Applications In The Consumer Market, Such As Bioinformatics, The MP3 Audio Format, And MPEG-Based...
By Brand: Cambridge University Press
ean: 9781107019027, isbn: 1107019028,
This comprehensive introduction to the principles of functional programming using F# shows how to apply basic theoretical concepts to produce succinct and elegant programs. It demonstrates the role of functional programming in a wide spectrum of appl...
By Prentice Hall College Div
ean: 9780134841977, isbn: 0134841972,
mpn: 44769369, ean: 9783319333601, isbn: 3319333607,
This book highlights the current challenges for engineers involved in product development and the associated changes in procedure they make necessary. Methods for systematically analyzing the requirements for safety and security mechanisms are descri...
ean: 9780077076252, isbn: 0077076257,
The functional programming language ML is becoming the main medium for teaching functional ideas in a university environment. This book is introductory and adopts an incremental approach, whilst the coverage is problem-oriented: at each stage a probl...
By Brand: Cambridge University Press
ean: 9780521791335, isbn: 0521791332,
This book provides the first general account of the development of simplicial algorithms. These include the ubiquitous simplex method of linear programming widely used in industrial optimization and strategic decision making and methods important in ...
By Brand: Springer
ean: 9780792357339, isbn: 0792357337,
Although the monograph Progress in Optimization I: Contributions from Aus tralasia grew from the idea of publishing a proceedings of the Fourth Optimiza tion Day, held in July 1997 at the Royal Melbourne Institute of Technology, the focus soon ch...