Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Semantics Engineering with PLT Redex

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

Matthias Felleisen

Robert Bruce Findler

Matthew Flatt

Lingua

Inglese

Libro Rigido

Codice Libristo: 04560800

Casa editrice MIT Press Ltd, luglio 2009

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

Codice Libristo: 04560800

153 b

62.49 €

Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Presencias Extraterrestres Giovanni Pellegrino

In brossura

21.89 €

vita eterna Roberto Pasolini

In brossura

26.29 €

Le printemps de la jungle Luc Barbulesco

In brossura

14.79 €

SIMONDON XXX2 Simondon

In brossura

17.09 €

guerre en Irak dans L'EXPRESS Hannah-Kristin Elenschneider

In brossura

9.59 €

Yoni Massage Michaela Riedl

Rigido

18.79 €

FERMIN MUGURUZA * BLACK IS BELTZA FERMIN MUGURUZA Libro

In brossura

12.79 €

Studien UEber Vererbung Und Entstehung Geistiger Stoerungen Hermann Hoffmann

In brossura

55.29 €

Book Rebels - 75 Heldinnen aus der Literatur Annette Pehnt

In brossura

12.29 €

Alicia und die Unwahrscheinlichkeit der Liebe Mayte Uceda

Adobe ePub DRM

11.39 €

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

In brossura

31.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

In brossura

8.89 €

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

Rigido

26.99 €

Maluszkowe malowanie Kotki praca zbiorowa

In brossura

0.69 €

Ting, tang, tonung Günther Kretzschmar

Note

14.69 €

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.