Automotive Holiday Deals Books Gift Guide Books Gift Guide Shop Men's Athletic Shoes Learn more nav_sap_plcc_6M_fly_beacon Adele egg_2015 All-New Amazon Fire TV Subscribe & Save Gifts Under $50 Amazon Gift Card Offer bf15 bf15 bf15 $30 Off Amazon Echo Starting at $49.99 Kindle Black Friday Deals Shop Now HTL

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone
  • Android

To get the free app, enter your email address or mobile phone number.

Semantics Engineering with PLT Redex 1st Edition

5 customer reviews
ISBN-13: 978-0262062756
ISBN-10: 0262062755
Why is ISBN important?
This bar-code number lets you verify that you're getting exactly the right version or edition of a book. The 13-digit and 10-digit formats both work.
Scan an ISBN with your phone
Use the Amazon App to scan ISBNs and compare prices.
Sell yours for a Gift Card
We'll buy it for $5.18
Learn More
Trade in now
Have one to sell? Sell on Amazon
Buy used On clicking this link, a new layer will be open
$38.42 On clicking this link, a new layer will be open
Buy new On clicking this link, a new layer will be open
$47.00 On clicking this link, a new layer will be open
More Buying Choices
20 New from $33.51 14 Used from $32.35
Free Two-Day Shipping for College Students with Amazon Student Free%20Two-Day%20Shipping%20for%20College%20Students%20with%20Amazon%20Student

Get Up to 80% Back Rent Textbooks
$47.00 FREE Shipping. Only 9 left in stock (more on the way). Ships from and sold by Gift-wrap available.

Frequently Bought Together

  • Semantics Engineering with PLT Redex
  • +
  • Types and Programming Languages
Total price: $126.01
Buy the selected items together

Special Offers and Product Promotions

  • Take an Extra 30% Off Any Book: Use promo code HOLIDAY30 at checkout to get an extra 30% off any book for a limited time. Excludes Kindle eBooks and Audible Audiobooks. Restrictions apply. Learn more

Editorial Reviews


Matthias Felleisen and his colleagues in The PLT group are well known for their books on program design, their work on teaching programming, and for the research that has led to DrScheme, one of the most powerful and flexible programming environments ever created. In this book they turn their attention to the subject of programming language semantics, with happy results. Courses on semantics can easily become as dry as dust; in contrast, this book is nothing short of revolutionary. The first part is a very clear explanation of the basic concepts in programming language semantics, starting with abstract models and moving to progressively more concrete ones. However, the book really comes alive in the second part, where they use the PLT Redex language that they have developed to interactively explore language semantics in the same way that DrScheme allows the interactive exploration of programs. I believe that this approach will become the standard way of doing semantics research in the future, and there is no better way to take advantage of it than to read this book.

(Michael Vanier, Department of Computer Science, Caltech)

About the Author

Matthias Felleisen is Trustee Professor of Computer Science at Northeastern University, recipient of the Karl V. Karlstrom Outstanding Educator Award, and co-author (with Daniel Friedman) of The Little Schemer and three other "Little" books published by the MIT Press.

Robert Bruce Findler is Assistant Professor of Electrical Engineering and Computer Science at Northwestern University.

Matthew Flatt is Associate Professor in the School of Computing at the University of Utah.

Hero Quick Promo
Holiday Deals in Kindle Books
Save up to 85% on more than 1,000 Kindle Books. These deals are valid until November 30, 2015. Learn more

Product Details

  • Hardcover: 528 pages
  • Publisher: The MIT Press; 1st edition (August 2009)
  • Language: English
  • ISBN-10: 0262062755
  • ISBN-13: 978-0262062756
  • Product Dimensions: 7 x 0.9 x 9 inches
  • Shipping Weight: 2.1 pounds (View shipping rates and policies)
  • Average Customer Review: 3.8 out of 5 stars  See all reviews (5 customer reviews)
  • Amazon Best Sellers Rank: #1,096,542 in Books (See Top 100 in Books)

More About the Author

Matthias Felleisen grew up in Germany and came to the United States at the age of 21.

In 1987, he received his doctorate from Daniel P. Friedman, with whom he had also rewritten The Little Lisper, his first book. At this point, The Little Lisper has been in print for nearly 35 years, an incredible age in the fast-lived world of programming and programming languages. The book covers the fundamental topic of recursive programming in an entertaining dialog style. While the book summarizes the high level ideas as a collection of ten commandments, the reader must work through the material and formulate lessons on his or her own.

Felleisen spent from 1987 through 2001 at Rice University in Houston, Texas, a bustling, always growing city of friendly people. He conducted research on every kind of topic in programming languages; data structures and algorithms for the translation process; the mathematical theory of behavioral equality; and the design of large systems. Many of his ideas came to him while he swam his daily miles in the pool of West University Place, a small town within Houston.

One particularly important idea is due to Carrie, the baby sitter that he and his wife Helga used to hire. The sitter would often work on her high school math problems while Felleisen and his wife would go to the symphony or the theatre. One evening Felleisen noticed that the baby sitter had not made any progress on her homework while they had been out for three hours. He showed the baby sitter how to solve her problems, using the ideas in The Little Lisper. The success was surprising and wonderful. The baby sitter's grades jumped dramatically, and Felleisen and his research team started work on a curriculum that synthesizes computer science and mathematics for novice programmers. Felleisen and his doctoral students wrote a book on this idea, How to Design Programs, and spent the last fifteen years educating teachers and faculty colleagues about it. For this work, Felleisen received the Karl Karlstrom Award in 2009, the major recognition by the professional computer science organization (ACM) for individuals who make critical contributions to the field.

Felleisen and his wife now live in Maine and Massachusetts. He teaches at Northeastern University in Boston and continues to conduct research in programming languages and train PhD students in this central field of computer science.

Customer Reviews

Most Helpful Customer Reviews

12 of 12 people found the following review helpful By Robert on August 20, 2009
Format: Hardcover
This book has three parts: The first part is an introduction to small-step semantics, evaluation contexts, abstract machines, and how these are used to model common programming language constructs. The second part is about the tool, PLT Redex, which the authors have built. The third part is a set of case studies from several different authors (not the authors of the remainder of the book).

The first part of the book is really great. It is a brilliant introduction to the field and gives a good overview over the historic development of the field, starting with Landin's ISWIM language and SECD machine. My only (minor) critique is that I would have wished for a broader description of related work - for example, Olivier Danvy's work is surprisingly not mentioned at all, although he has done tons of work in that domain.

The second part - the introduction to PLT redex - is easy to follow, but is a bit bloated for my taste. PLT redex is a nice tool, but it could also be described in half the space. It was also a bit disappointing that all the stuff on abstract machines from the first part is hardly mentioned anymore in this part.

The third part - the case studies - is the weakest part of the book. It is not clear to which end all these case studies are presented. They all give a lot of details about various research projects, but they are not sorted in a meaningful way and the presentations of the case studies are also quite different in style (which is probably not surprising since each one was written by a different author). The main authors could have made a better attempt to sort the material and unify the presentation.

My suggestion is to buy the book for the first part.
1 Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
6 of 6 people found the following review helpful By Jay McCarthy on September 11, 2009
Format: Hardcover Verified Purchase
This is a very clear and interesting book on semantics. The PLT Redex adds a surprising amount to the study of semantics --- encouraging experimentation and application. I have used the book in the graduate class I teach and have had success.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
1 of 2 people found the following review helpful By dm on February 21, 2014
Format: Hardcover Verified Purchase
Doesn't do a good job of explaining usage of some of the fundamental features of redex.... starts off with a confusing chapter where they introduce a lot of terminology and symbols that are never brought up again, and then dives into Redex features. Many important operations are used with little to no explanation, leaving the reader to figure out for their own what is going on. It is surprisingly low quality when compared to the How to Design Programs book.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
1 of 2 people found the following review helpful By Cormac Flanagan on August 31, 2011
Format: Hardcover Verified Purchase
Great book and tool. A detailed and accessible overview of operational semantics,
all brought to life via the PLT Redex implementation.
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse
0 of 3 people found the following review helpful By Bala on February 11, 2011
Format: Hardcover Verified Purchase
Got an awesome book in a excellent condition. Probably the difficulty of the subject made it more desirable. This book will be a part of all time favorite
Comment Was this review helpful to you? Yes No Sending feedback...
Thank you for your feedback.
Sorry, we failed to record your vote. Please try again
Report abuse

Set up an Amazon Giveaway

Amazon Giveaway allows you to run promotional giveaways in order to create buzz, reward your audience, and attract new followers and customers. Learn more
Semantics Engineering with PLT Redex
This item: Semantics Engineering with PLT Redex
Price: $47.00
Ships from and sold by