Login       My Wishlist
  My Cart
$0.00 / 0 items
EMS Linux
Utilizing the Best Tools With Linux
International Access
Global Shipping Options Available
  Our Catalog   Functional

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

Product Description

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.

Additional Information

Manufacturer:Cambridge University Press
Brand:Hans Huttel
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

Transitions and Trees: An Introduction to Structural Operational Semantics by Hans Huttel

Buy Now:
Transitions and Trees: An Introduction to Structural Operational Semantics

Brand: Hans Huttel
4.1 out of 5 stars with 170 reviews
Condition: New
Lead Time: 1 - 2 Business Days
Availability: In Stock



View More In Functional.


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.

First Name:
Last Last:
Email Address:
Your Message:

Related Best Sellers

Categorical Combinators, Sequential Algorithms, and Functional Programming (Progress in Theoretical Computer Science)
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...

Projectors and Projection Methods (Advances in Mathematics)
By Springer
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 [177], [178] are of particular significance. The projectors or projections became an active res...

Guide to Fortran 2003 Programming
By Springer
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...

Digital Signal Processing Using MATLAB and Wavelets
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...

Functional Programming Using F#
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...

Introduction to Functional Programming (Prentice Hall International Series in Computing Science)
By Prentice Hall College Div
ean: 9780134841977, isbn: 0134841972,

Functional Safety for Road Vehicles: New Challenges and Solutions for E-mobility and Automated Driving
By Springer
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...

A Practical Course in Functional Programming Using ML
By McGraw-Hill
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...

Simplicial Algorithms for Minimizing Polyhedral Functions
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 ...

Progress in Optimization: Contributions from Australasia (Applied Optimization)
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...

Privacy Policy / Terms of Service
© 2019 - emslinux.com. All Rights Reserved.