Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Semantics Engineering with PLT Redex

Name: Semantics Engineering with PLT Redex
Brand: MIT Press Ltd
SKU: 04560800
Price: 22993 HUF
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

157 b

22 993 Ft

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

30-day return policy

Customers also purchased

Presencias Extraterrestres Giovanni Pellegrino

Paperback

8 084 Ft

vita eterna Roberto Pasolini

Paperback

9 745 Ft

Le printemps de la jungle Luc Barbulesco

Paperback

5 502 Ft

SIMONDON XXX2 Simondon

Paperback

5 886 Ft

guerre en Irak dans L'EXPRESS Hannah-Kristin Elenschneider

Paperback

3 549 Ft

Yoni Massage Michaela Riedl

Hardback

6 969 Ft

FERMIN MUGURUZA * BLACK IS BELTZA FERMIN MUGURUZA Book

Paperback

4 401 Ft

Studien UEber Vererbung Und Entstehung Geistiger Stoerungen Hermann Hoffmann

Paperback

20 471 Ft

Book Rebels - 75 Heldinnen aus der Literatur Annette Pehnt

Paperback

4 576 Ft

Alicia und die Unwahrscheinlichkeit der Liebe Mayte Uceda

Adobe ePub DRM

3 906 Ft

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

Paperback

11 517 Ft

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

3 299 Ft

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

Hardback

9 949 Ft

Maluszkowe malowanie Kotki praca zbiorowa

Paperback

222 Ft

Ting, tang, tonung Günther Kretzschmar

Sheet music

5 048 Ft

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.