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.

About the Author:

Matthias Felleisen, Robert Bruce Findler, and Matthew Flatt are the authors (with Shiram Krishnamurthi) of How to Design Programs: An Introduction to Programming and Computing, also published by the MIT Press. Felleisen is Trustee Professor of Computer Science at Northeastern University and the coauthor (with Daniel Friedman) of The Little Schemer and three other "Little" books published by the MIT Press. Findler is Assistant Professor of Computer Science at the Northwestern University. Flatt is Associate Professor of Computer Science at the University of Utah.

Review:

Matthias Felleisen and his colleagues in The PLT group are well known for their books on program design, their work on teaching programming, and for the research that has led to DrScheme, one of the most powerful and flexible programming environments ever created. In this book they turn their attention to the subject of programming language semantics, with happy results. Courses on semantics can easily become as dry as dust; in contrast, this book is nothing short of revolutionary. The first part is a very clear explanation of the basic concepts in programming language semantics, starting with abstract models and moving to progressively more concrete ones. However, the book really comes alive in the second part, where they use the PLT Redex language that they have developed to interactively explore language semantics in the same way that DrScheme allows the interactive exploration of programs. I believe that this approach will become the standard way of doing semantics research in the future, and there is no better way to take advantage of it than to read this book.

(Michael Vanier, Department of Computer Science, Caltech)

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 8,39
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,50
Da: India a: Italia
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 22,26
Convertire valuta

Aggiungere al carrello

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

3.

Matthias Felleisen
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Paperback Quantità: 5
Edizione Internazionale
Da
PRIORITY BOOKS
(springfield, VA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. Softcover Book, New Condition, Fast Shipping. Ready in Stock. 1st Edition. [Please Read Carefully Before Buying], This Is An International Edition. Printed In Black and White. , Book Cover And ISBN No May Be Different From US Edition. Restricted Sales Disclaimer Wordings Not For Sales In USA And Canada May Be Printed On The Cover Of The Book. Standard Shipping 7-14 Business Days. Expedited Shiping 4-8 Business Days. ***WE DO NOT ENTERTAIN BULK ORDERS.*** The Books May Be Ship From Overseas For Inventory Purpose. Codice libro della libreria 314030

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 18,72
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 7,71
Da: U.S.A. a: Italia
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

4.

Matthias Felleisen
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Paperback Quantità: 1
Edizione Internazionale
Da
Nick Book House
(fresno, CA, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Paperback. Condizione libro: New. New, Softcover International Edition, Printed in Black and White, Only USPS Media mail Shipping ONLY, Different ISBN, Same Content As US edition, Book Cover may be Different, in English Language. Codice libro della libreria 8962

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 18,74
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 8,57
Da: U.S.A. a: Italia
Destinazione, tempi e costi
Edizione Internazionale
Edizione Internazionale

5.

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 13,72
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 14,51
Da: India a: Italia
Destinazione, tempi e costi

6.

Matthias Felleisen; Robert Bruce Findler; Matthew Flatt
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Quantità: 1
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 39,86
Convertire valuta

Aggiungere al carrello

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

7.

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. 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 40,69
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: Italia
Destinazione, tempi e costi

8.

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. 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 40,94
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: Italia
Destinazione, tempi e costi

9.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
Editore: The MIT Press (2009)
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Rilegato Quantità: 2
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,03
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Irlanda a: Italia
Destinazione, tempi e costi

10.

Matthias Felleisen, Robert Bruce Findler, Matthew Flatt
Editore: The MIT Press
ISBN 10: 0262062755 ISBN 13: 9780262062756
Nuovi Rilegato Quantità: 2
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 43,16
Convertire valuta

Aggiungere al carrello

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

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro