Books > Computing & IT > Computer programming > Software engineering
|
Not currently available
Semantics Engineering with PLT Redex (Hardcover)
Loot Price: R279
Discovery Miles 2 790
|
|
Semantics Engineering with PLT Redex (Hardcover)
Series: The MIT Press
(sign in to rate)
Loot Price R279
Discovery Miles 2 790
Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.