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.

Informazioni sull?autore

Matthias Felleisen is Trustee Professor in the College of Computer Science at Northeastern University.

Robert Bruce Findler is Associate Professor of Computer Science at Northwestern University.

Matthew Flatt is Professor in the School of Computing at the University of Utah.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Rarewaves USA
10100 West Sample Road, Ste 101, Coral Springs, FL, 33065, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

Diritto di recesso

Condizioni di spedizione

Please note that we do not offer Priority shipping to any country.

We currently do not ship to the below countries:

Afghanistan
Bhutan
Brazil
Brunei Darussalam
Channel Islands
Chile
Israel
Lao
Mexico
Russian Federation
Saudi Arabia
South Africa
Yemen

Please do not attempt to place orders with any of these countries as a ship to address - they will be cancelled.

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 30 a 30 giorni lavorativi	Da 14 a 14 giorni lavorativi
Primo articolo	EUR 42.12	EUR 56.44

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.