Items related to Transitions and Trees: An Introduction to Structural...
Synopsis
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.
"synopsis" may belong to another edition of this title.
Book Description
A rigorous, self-contained introduction to structural operational semantics and how to use it to describe, reason about and assist the implementation of features found in common programming languages. The author assumes no experience with any specific programming language, making the book easily accessible to students and computing professionals.
About the Author
Hans Hüttel is Associate Professor in the Department of Computer Science at Aalborg University, Denmark.
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date2010
- ISBN 10 0521147093
- ISBN 13 9780521147095
- BindingPaperback
- LanguageEnglish
- Number of pages290
- Rating
Search results for Transitions and Trees: An Introduction to Structural...
Seller Image
Transitions and Trees: An Introduction to Structural Operational Semantics
Published by
Cambridge University Press, 2010
ISBN 10: 0521147093
ISBN 13: 9780521147095
Used
Softcover
Seller: Zoom Books East, Glendale Heights, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: good. Book is in good condition and may include underlining highlighting and minimal wear. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. Seller Inventory # ZEV.0521147093.G
Quantity: 1 available
Stock Image
Transitions and Trees: An Introduction to Structural Operational Semantics
Published by
Cambridge University Press, United Kingdom, Cambridge, 2006
ISBN 10: 0521147093
ISBN 13: 9780521147095
Used
Paperback
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 4 out of 5 stars
Paperback. Condition: Very Good. Actual Ethics offers a moral defense of the 'classical liberal' political tradition and applies it to several of today's vexing moral and political issues. James Otteson argues that a Kantian conception of personhood and an Aristotelian conception of judgment are compatible and even complementary. He shows why they are morally attractive, and perhaps most controversially, when combined, they imply a limited, classical liberal political state. Otteson then addresses several contemporary problems - wealth and poverty, public education, animal welfare, and affirmative action - and shows how each can be plausibly addressed within the Kantian, Aristotelian and classical liberal framework. Written in clear, engaging, and jargon-free prose, Actual Ethics will give students and general audiences an overview of a powerful and rich moral and political tradition that they might not otherwise consider. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # GOR007078679
Quantity: 2 available
Seller Image
Transitions and Trees: An Introduction to Structural Operational Semantics
Published by
Cambridge University Press, 2010
ISBN 10: 0521147093
ISBN 13: 9780521147095
Used
Softcover
Seller: Goodwill of Silicon Valley, SAN JOSE, CA, U.S.A.
Seller rating 4 out of 5 stars
Condition: acceptable. Supports Goodwill of Silicon Valley job training programs. The cover and pages are in Acceptable condition! Any other included accessories are also in Acceptable condition showing use. Use can include some highlighting and writing, page and cover creases as well as other types visible wear such as cover tears discoloration, staining, marks, scuffs, etc. All pages intact. Seller Inventory # GWSVV.0521147093.A
Quantity: 1 available
Stock Image
Transitions and Trees: An Introduction to Structural Operational Semantics
Published by
Cambridge University Press, 2010
ISBN 10: 0521147093
ISBN 13: 9780521147095
Used
Softcover
Seller: Book Deals, Tucson, AZ, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Good condition. This is the average used book, that has all pages or leaves present, but may include writing. Book may be ex-library with stamps and stickers. 0.88. Seller Inventory # 353-0521147093-gdd
Quantity: 1 available
Stock Image
Transitions and Trees: An Introduction to Structural Operational Semantics
Published by
Cambridge University Press, 2010
ISBN 10: 0521147093
ISBN 13: 9780521147095
New
Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2215580245340
Quantity: Over 20 available
Stock Image
Transitions and Trees: An Introduction to Structural Operational Semantics
Published by
Cambridge University Press, 2010
ISBN 10: 0521147093
ISBN 13: 9780521147095
New
Softcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9780521147095_new
Quantity: Over 20 available
Stock Image
Transitions and Trees: An Introduction to Structural Operational Semantics
Published by
Cambridge University Press 2010-04-29, 2010
ISBN 10: 0521147093
ISBN 13: 9780521147095
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9780521147095
Quantity: 10 available
Stock Image
Transitions and Trees: An Introduction to Structural Operational Semantics
Published by
Cambridge University Press, 2010
ISBN 10: 0521147093
ISBN 13: 9780521147095
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 1st edition. 260 pages. 9.69x6.77x0.63 inches. In Stock. This item is printed on demand. Seller Inventory # __0521147093
Quantity: 1 available
Stock Image
Transitions and Trees: An Introduction to Structural Operational Semantics
Published by
Cambridge University Press, 2010
ISBN 10: 0521147093
ISBN 13: 9780521147095
New
Softcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9780521147095
Quantity: Over 20 available
Stock Image
Transitions and Trees: An Introduction to Structural Operational Semantics
Published by
Cambridge University Press, 2010
ISBN 10: 0521147093
ISBN 13: 9780521147095
New
paperback
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-0521147093
Quantity: 1 available