Ingeniería semántica con PLT Redex

Opiniones de los lectores

El libro ofrece una introducción clara e interesante a la semántica, especialmente ayudada por la herramienta PLT Redex. Mientras que la primera parte es elogiada por su exhaustiva visión de conjunto y su contexto histórico, las secciones posteriores sobre PLT Redex y los estudios de casos recibieron críticas dispares, destacando cierta confusión e incoherencia.

⬤ Presentación clara e interesante de la semántica
⬤ uso eficaz de PLT Redex para la experimentación
⬤ visión general accesible de la semántica operativa
⬤ sólida introducción a la semántica de pequeños pasos y a los contextos de evaluación.

⬤ Los capítulos iniciales introducen terminología confusa
⬤ falta de explicación de las características fundamentales de Redex
⬤ la segunda parte se siente hinchada y mal integrada con las secciones anteriores
⬤ los estudios de caso se presentan de forma incoherente y carecen de una organización clara.

(basado en 4 opiniones de lectores)

Título original:

Semantics Engineering with PLT Redex

Contenido del libro:

La primera presentación exhaustiva de la semántica de reducción en un volumen, y el primer conjunto de herramientas para tales formas de semántica. Este texto es la primera presentación exhaustiva de la semántica de reducción en un volumen; también introduce el primer conjunto de herramientas fiable y fácil de usar para tales formas de semántica.

Los ingenieros de software saben desde hace tiempo que el soporte automático de herramientas es fundamental para la creación rápida de prototipos y modelos, y este libro está dirigido al ingeniero semántico en activo (estudiante de posgrado o diseñador profesional de lenguajes). El libro incluye un conjunto de herramientas de creación de prototipos para desarrollar, explorar, probar, depurar y publicar modelos semánticos de lenguajes de programación. Con PLT Redex, los semánticos pueden formular modelos como gramáticas y modelos de reducción en sus ordenadores con la facilidad del papel y el lápiz.

El texto presenta en primer lugar un marco para la formulación de modelos de lenguaje, centrándose en los cálculos ecuacionales y las máquinas abstractas, y a continuación introduce PLT Redex, un conjunto de herramientas de software para expresar estos modelos como modelos PLT Redex. Por último, los expertos describen una serie de modelos formulados en Redex.

PLT Redex viene con la implementación PLT Scheme, disponible gratuitamente en http: //www.plt-scheme.org/. Los lectores pueden descargar el software y experimentar con Redex a medida que avanzan en el libro.