Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Semantics Engineering with PLT Redex

Name: Semantics Engineering with PLT Redex
Brand: MIT Press Ltd
SKU: 04560800
Price: 65.09 EUR
Availability: InStock
Author: Matthias Felleisen
ISBN: 9780262062756

Matthias Felleisen

Robert Bruce Findler

Matthew Flatt

Language

English

Book Hardback

Libristo code: 04560800

Publishers MIT Press Ltd, July 2009

This text is the first comprehensive presentation of reduction semantics in one volume; it also intr... Full description

Libristo code: 04560800

159 b

65.09 € VAT included

Low in stock at our supplier Shipping in 11-15 days

Delivery to Austria

30-day return policy

Customers also purchased

Book Rebels - 75 Heldinnen aus der Literatur Annette Pehnt

Paperback

12.95 €

Presencias Extraterrestres Giovanni Pellegrino

Paperback

21.89 €

Alicia und die Unwahrscheinlichkeit der Liebe Mayte Uceda

Adobe ePub DRM

11.39 €

FERMIN MUGURUZA * BLACK IS BELTZA FERMIN MUGURUZA Book

Paperback

12.79 €

vita eterna Roberto Pasolini

Paperback

26.29 €

Halloween Livre de Сoloriage: livre ? colorier Halloween avec des créatures fantaisie pour garçons et filles, âgés de 4-8, avec: gobelins Franke Oscar Thomas

Paperback

8.89 €

Maluszkowe malowanie Kotki praca zbiorowa

Paperback

0.69 €

I Love to Keep My Room Clean Amo mantenere in ordine la mia camera SHELLEY ADMONT

Hardback

26.99 €

Fermiere d'Esquermes Et Les Brigands Du Nord, Recits Episodiques (Ed.1873) Cleophas-Reimbold Dautrevaux

Paperback

31.29 €

guerre en Irak dans L'EXPRESS Hannah-Kristin Elenschneider

Paperback

9.59 €

Studien UEber Vererbung Und Entstehung Geistiger Stoerungen Hermann Hoffmann

Paperback

55.29 €

Yoni Massage Michaela Riedl

Hardback

19.90 €

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.