» » Semantics Engineering with PLT Redex
Download Semantics Engineering with PLT Redex epub book
ISBN:0262062755
Author: Robert Bruce Findler,Matthias Felleisen
ISBN13: 978-0262062756
Title: Semantics Engineering with PLT Redex
Format: rtf docx txt lit
ePUB size: 1533 kb
FB2 size: 1393 kb
DJVU size: 1166 kb
Language: English
Category: Programming
Publisher: The MIT Press; 1st edition (August 2009)
Pages: 528

Semantics Engineering with PLT Redex by Robert Bruce Findler,Matthias Felleisen



With PLT Redex, semanticists can formulate models as grammars and reduction models on their computers with the ease of paper and pencil. Finally, experts describe a range of models formulated in Redex. Readers can download the software and experiment with Redex as they.

Book: Semantics Engineering with PLT Redex (SEwPR) by Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt gives the mathematical background for operational semantics, as well as a tutorial introduction to Redex. Documentation: The reference manual contains all of the gory details of all of Redex's operators.

Matthias Felleisen, Robert Bruce Findler. Readers can download the software and experiment with Redex as they work their way through the book.

Northeastern University. Robert Bruce Findler. Northwestern University. Abstractions for Type Checker Implementation. The PLT Redex semantic specification framework can also be used to define type systems similar in style to traditional inference rules using type environments.

Semantic Scholar extracted view of "Semantics Engineering with PLT Redex" by Matthias Felleisen et a. oceedings{csEW, title {Semantics Engineering with PLT Redex}, author {Matthias Felleisen and Robert Bruce Findler and Matthew Flatt}, year {2009} }. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt.

Semantics Engineering with. 6 Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi. How to Design Programs. 7 Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, and Shriram Krishnamurthi. The. structure and interpretation of the computer science curriculum. 10 Robert Bruce Findler and Matthias Felleisen. In International Conference on Functional Programming, pages 48–59, 2002. 13 Matthew Flatt, Eli Barzilay, and Robert Bruce Findler. Scribble: Closing the book on ad hoc documentation tools. In International Conference on Functional Programming, pages 109–120, 2009. 14 Matthew Flatt and Matthias Felleisen.

Slide 2. Semantics Engineering with PLT Redex Summary : 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.

This book is designed to be used with the free PLT Scheme package, produced by the same group that wrote the book. PLT Scheme is a very good mini-IDE on the usual LISP pattern, mixing a compiler and an interpreter surprisingly seamlessly (you'll understand how this works after you use it a little bi. Unlike the other free LISP packages, PLT is at home in MS Windows, it does not try to simulate a UNIX environment. Skip this book, but get PLT Scheme anyway.

Find nearly any book by Robert Bruce Findler. Get the best deal by comparing prices from over 100,000 booksellers. Founded in 1997, BookFinder. Coauthors & Alternates. Shriram Krishnamurthi. Learn More at LibraryThing. Robert Bruce Findler at LibraryThing.

Redex: Practical Semantics Engineering. Robert Bruce Findler, Casey Klein, Burke Fetscher, and Matthias Felleisen. This manual consists of four parts: a short tutorial introduction, a long tutorial introduction, a reference manual for Redex, and a description of the Redex automated testing benchmark suite.

The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.

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.

Reviews: 5
AGAD
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.
Hucama
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.
Onoxyleili
Great book and tool. A detailed and accessible overview of operational semantics,
all brought to life via the PLT Redex implementation.
Prinna
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
DireRaven
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.