Semantics Engineering With PLT Redex

Valutazione media 3,8
( su 5 valutazioni fornite da GoodReads )
 
9780262062756: Semantics Engineering With PLT Redex

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.

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

L'autore:

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

Sinossi:

Book by Matthias Felleisen Robert Bruce Findler Matthew Fl

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

I migliori risultati di ricerca su AbeBooks

Edizione Internazionale
Edizione Internazionale

1.

Felleisen
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Quantità: 20
Edizione Internazionale
Da
Books in my Basket
(New Delhi, India)
Valutazione libreria
[?]

Descrizione libro N.A. Condizione libro: New. International Edition. Book cover and ISBN different from US edition. Territorial Restrictions maybe printed on the book. This is an international edition. Codice libro della libreria 291853

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 9,03
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 4,10
Da: India a: U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

2.

FELLEISEN
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Brossura Quantità: 5
Edizione Internazionale
Da
Romtrade Corp.
(STERLING HEIGHTS, MI, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Brand New Paperback International Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Codice libro della libreria AUSBNEW-7885

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 23,76
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

3.

Felleisen
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Soft cover Quantità: > 20
Edizione Internazionale
Da
University Bookstore
(DELHI, DELHI, India)
Valutazione libreria
[?]

Descrizione libro 2009. Soft cover. Condizione libro: New. This book is BRAND NEW Soft cover International edition with black and white printing. ISBN number & cover page may be different but contents identical to the US edition word by word. Book is in English language. Codice libro della libreria UN-PH-IN-1275

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 14,75
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,00
Da: India a: U.S.A.
Destinazione, tempi e costi

4.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
Editore: The MIT Press (2009)
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Rilegato Quantità: 3
Valutazione libreria
[?]

Descrizione libro The MIT Press, 2009. Condizione libro: New. The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. Num Pages: 520 pages, 36 figures. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 187 x 237 x 29. Weight in Grams: 982. . 2009. 1st. Hardcover. . . . . . Codice libro della libreria V9780262062756

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 41,88
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Irlanda a: U.S.A.
Destinazione, tempi e costi

5.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
Editore: MIT Press Ltd, United States (2009)
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Rilegato Quantità: 1
Da
The Book Depository US
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2009. Hardback. Condizione libro: New. 229 x 180 mm. Language: English . Brand New Book. 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 Readers can download the software and experiment with Redex as they work their way through the book. Codice libro della libreria AAU9780262062756

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 42,09
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
Editore: MIT Press Ltd, United States (2009)
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Rilegato Quantità: 1
Da
The Book Depository
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd, United States, 2009. Hardback. Condizione libro: New. 229 x 180 mm. Language: English . Brand New Book. 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 Readers can download the software and experiment with Redex as they work their way through the book. Codice libro della libreria AAU9780262062756

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 42,11
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Matthias Felleisen
Editore: MIT Press (2009)
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Quantità: 3
Da
Books2Anywhere
(Fairford, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press, 2009. HRD. Condizione libro: New. New Book. Shipped from UK in 4 to 14 days. Established seller since 2000. Codice libro della libreria BB-9780262062756

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 33,45
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,38
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

8.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
Editore: The MIT Press
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Rilegato Quantità: 3
Da
Kennys Bookstore
(Olney, MD, U.S.A.)
Valutazione libreria
[?]

Descrizione libro The MIT Press. Condizione libro: New. The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics. Num Pages: 520 pages, 36 figures. BIC Classification: UMZ. Category: (P) Professional & Vocational. Dimension: 187 x 237 x 29. Weight in Grams: 982. . 2009. 1st. Hardcover. . . . . Books ship from the US and Ireland. Codice libro della libreria V9780262062756

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 44,35
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

9.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
Editore: MIT Press Ltd 2009-08-07, Cambridge, Mass. (2009)
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Rilegato Quantità: 1
Da
Blackwell's
(Oxford, OX, Regno Unito)
Valutazione libreria
[?]

Descrizione libro MIT Press Ltd 2009-08-07, Cambridge, Mass., 2009. hardback. Condizione libro: New. Codice libro della libreria 9780262062756

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 40,67
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 5,19
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

10.

Matthew Flatt; Matthias Felleisen; Robert Bruce Findler
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Quantità: 3
Da
BWB
(Valley Stream, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Depending on your location, this item may ship from the US or UK. Codice libro della libreria 97802620627560000000

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 47,17
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro