Semantics Engineering with PLT Redex (Hardcover)

Robert Bruce Findler

15 valutazioni di Goodreads

Lingua: inglese

Editore: MIT Press Ltd, Cambridge, Mass., 2009

0262062755 / 9780262062756

Da: AussieBookSeller, Truganina, VIC, AustraliaAussieBookSeller

Venditore con 5 stelle

Venditore AbeBooks dal 22 giugno 2007

Rilegato

Condizione: Nuovo

EUR 106,83

EUR 32,88 spedizione 
Spedito da Australia a U.S.A.

Quantità: 1 disponibile

Aggiungi al carrello
Resi gratuiti per 30 giorni

Descrizione dell’articolo da parte del venditore

Hardcover. The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.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. The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.…

Codice articolo 9780262062756

Titolo
Semantics Engineering with PLT Redex (Hardcover)
Autore
Robert Bruce Findler
Editore
MIT Press Ltd, Cambridge, Mass.
Anno di pubblicazione
2009
Condizione
new
Rilegatura
Hardcover
Lingua
inglese
ISBN 10
0262062755
ISBN 13
9780262062756

AussieBookSeller

Truganina, VIC, Australia

Venditore con 5 stelle

Venditore AbeBooks dal 22 giugno 2007

Tariffe di spedizione da Australia a U.S.A.

ArticoloDa 25 a 45 giorni lavorativiDa 8 a 14 giorni lavorativi
Primo articoloEUR 32,88EUR 39,10
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.

Metodi di pagamento

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Informazioni sull’azienda del venditore

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australia 3029