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

DPD courier 4.99 € GLS courier 9.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: 63.07 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

153 b

63.07 €

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

Up to 30 days for returns

Customers also purchased

Studien UEber Vererbung Und Entstehung Geistiger Stoerungen Hermann Hoffmann

Paperback

53.06 €

Yoni Massage Michaela Riedl

Hardback

17.88 €

Neue Herrlichkeit, 1 Audio-CD, 1 MP3 Günter de Bruyn

Audio CD

15.76 €

FERMIN MUGURUZA * BLACK IS BELTZA FERMIN MUGURUZA Book

Paperback

12.12 €

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

Paperback

29.41 €

SIMONDON XXX2 Simondon

Paperback

16.37 €

Le printemps de la jungle Luc Barbulesco

Paperback

14.04 €

Presencias Extraterrestres Giovanni Pellegrino

Paperback

21.02 €

vita eterna Roberto Pasolini

Paperback

17.18 €

Ting, tang, tonung Günther Kretzschmar

Sheet music

14.04 €

Book Rebels - 75 Heldinnen aus der Literatur Annette Pehnt

Paperback

11.72 €

Alicia und die Unwahrscheinlichkeit der Liebe Mayte Uceda

Adobe ePub DRM

10.91 €

guerre en Irak dans L'EXPRESS Hannah-Kristin Elenschneider

Paperback

9.09 €

Peaky Blinders Carl Chinn

Paperback

28.70 €

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.58 €

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

Hardback

25.97 €

El declive de la ciudadanía Victoria Camps

Paperback

19.60 €

Ein Motiv aus dem Kalender Masken der Sehnsucht - Karneval in Venedig (Puzzle) Gerwin Kästner

Game

34.26 €

Maluszkowe malowanie Kotki praca zbiorowa

Paperback

0.50 €

Arthrose Manfred Breddermann

Paperback

19.80 €

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.