This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages. With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. The text first presents a framework for the formulation of language models, focusing on equational calculi and abstract machines, then introduces PLT Redex, a suite of software tools for expressing these models as PLT Redex models. Finally, experts describe a range of models formulated in Redex. PLT Redex comes with the PLT Scheme implementation, available free at http://www.plt-scheme.org/. Readers can download the software and experiment with Redex as they work their way through the book.

About the Author:

Matthias Felleisen is Trustee Professor in the College of Computer Science at Northeastern University.

Robert Bruce Findler is Associate Professor of Computer Science at Northwestern University.

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

"About this title" may belong to another edition of this title.

Store Description

We are an internet bookseller doing business only through the internet. If you have any questions about our items, please email through Abe.com and we will respond.

Visit Seller's Storefront

Seller's business information

Sunshine State Books
FL, U.S.A.

Terms of Sale:

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Info required for EU:

Name: Jip Lee DBA Sunshine State Boo...

More Information

Shipping Terms:

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Payment Methods
accepted by seller

Add to Wants

Items related to Semantics Engineering with PLT Redex

Semantics Engineering with PLT Redex

Matthias Felleisen; Robert Bruce Findler; Matthew Flatt

Used - Hardcover

Seller's business information