Artículos relacionados a Semantics Engineering with PLT Redex (The MIT Press)
Book by Matthias Felleisen Robert Bruce Findler Matthew Fl
"Sinopsis" puede pertenecer a otra edición de este libro.
Críticas:
"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 -- Michael Vanier "This book is nothing short of revolutionary." Michael Vanier , Department of Computer Science, Caltech
Reseña del editor:
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialThe MIT Press
- Año de publicación2009
- ISBN 10 0262062755
- ISBN 13 9780262062756
- EncuadernaciónTapa dura
- Número de páginas520
- Valoración
Comprar nuevo
Ver este artículo
EUR 45,03
Gastos de envío:
EUR 4,02
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
Semantics Engineering with PLT Redex
Publicado por
The MIT Press
(2009)
ISBN 10: 0262062755
ISBN 13: 9780262062756
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: new. Nº de ref. del artículo: FrontCover0262062755
Comprar nuevo
EUR 45,03
Convertir moneda
Imagen de archivo
Semantics Engineering with PLT Redex
Publicado por
MIT Press
(2009)
ISBN 10: 0262062755
ISBN 13: 9780262062756
Nuevo
Tapa dura
Cantidad disponible: 3
Librería:
Valoración
Descripción Condición: New. pp. xii + 502. Nº de ref. del artículo: 26693241
Comprar nuevo
EUR 46,17
Convertir moneda
Imagen de archivo
Semantics Engineering with PLT Redex
Publicado por
The MIT Press
(2009)
ISBN 10: 0262062755
ISBN 13: 9780262062756
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: new. New. Fast Shipping and good customer service. Nº de ref. del artículo: Holz_New_0262062755
Comprar nuevo
EUR 51,57
Convertir moneda
Imagen de archivo
Semantics Engineering with PLT Redex Format: Hardcover
Publicado por
Penguin Random House
(2009)
ISBN 10: 0262062755
ISBN 13: 9780262062756
Nuevo
Tapa dura
Cantidad disponible: > 20
Librería:
Valoración
Descripción Condición: New. Brand New. Nº de ref. del artículo: 0262062755
Comprar nuevo
EUR 55,24
Convertir moneda
Imagen del vendedor
Semantics Engineering with PLT Redex by Matthias Felleisen, Robert Bruce Findler, Matthew Flatt [Hardcover ]
Publicado por
The MIT Press
(2009)
ISBN 10: 0262062755
ISBN 13: 9780262062756
Nuevo
Tapa dura
Cantidad disponible: 10
Librería:
Valoración
Descripción Hardcover. Condición: new. Nº de ref. del artículo: 9780262062756
Comprar nuevo
EUR 61,18
Convertir moneda
Imagen de archivo
Semantics Engineering with PLT Redex
Publicado por
The MIT Press
(2009)
ISBN 10: 0262062755
ISBN 13: 9780262062756
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Hardcover. Condición: new. New Copy. Customer Service Guaranteed. Nº de ref. del artículo: think0262062755
Comprar nuevo
EUR 57,37
Convertir moneda
Imagen del vendedor
Semantics Engineering With PLT Redex
Publicado por
The MIT Press
(2009)
ISBN 10: 0262062755
ISBN 13: 9780262062756
Nuevo
Tapa dura
Cantidad disponible: 5
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: 6241127-n
Comprar nuevo
EUR 64,45
Convertir moneda
Imagen de archivo
Semantics Engineering with PLT Redex
Publicado por
The MIT Press
(2009)
ISBN 10: 0262062755
ISBN 13: 9780262062756
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Book is in NEW condition. Nº de ref. del artículo: 0262062755-2-1
Comprar nuevo
EUR 66,95
Convertir moneda
Imagen de archivo
Semantics Engineering with PLT Redex
Publicado por
The MIT Press
(2009)
ISBN 10: 0262062755
ISBN 13: 9780262062756
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. New! This book is in the same immaculate condition as when it was published. Nº de ref. del artículo: 353-0262062755-new
Comprar nuevo
EUR 66,96
Convertir moneda
Imagen de archivo
Semantics Engineering with PLT Redex
Publicado por
The MIT Press
(2009)
ISBN 10: 0262062755
ISBN 13: 9780262062756
Nuevo
Tapa dura
Cantidad disponible: 1
Librería:
Valoración
Descripción Condición: New. Nº de ref. del artículo: ABLIING23Feb2215580084327
Comprar nuevo
EUR 63,85
Convertir moneda