Aborda la teoría de lenguajes de programación, similar a la especificación formal presentada en 'The Specification of Programming Languages'.
The Specification of Programming Languages
por Michael J.C. Gordon · 1982
Ver sugerenciasSinopsis
Una obra que explora la especificación formal de lenguajes de programación, detallando métodos y marcos para una definición precisa.
Sé el primero en valorar este libro.
Más de Michael J.C. Gordon
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Explora definiciones formales y matemáticas de lenguajes de programación, alineándose con la búsqueda de precisión en su especificación.
Reúne conceptos de lógica y computación, proporcionando un enfoque teórico que complementa la especificación formal discutida en el libro de referencia.
Presenta enfoques pioneros sobre la semántica de lenguajes de programación, esenciales para comprender su especificación y verificación.
Se centra en la especificación y verificación de programas mediante programación lógica, destacando la importancia de la claridad y corrección, como en el libro de referencia.
Analiza los principios del diseño y creación de lenguajes, proporcionando una base teórica que respalda los métodos de especificación formal.