Aborda la semántica y la sintaxis de lenguajes de programación, quedando alineado con el enfoque riguroso y matemático de Milne.
Conceptos Fundamentales de los Lenguajes de Programación
por Robert E. W. Milne · 1978
Ver sugerenciasSinopsis
Un texto que examina la semántica formal de los lenguajes de programación utilizando métodos matemáticos y lógicos, incluyendo la semántica denotacional, axiomática y operacional.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
El libro examina funciones y tipos, complementando la visión semántica de Milne con un enfoque en la gestión de recursos y control.
Se adentra en definiciones formales y matemáticas de lenguajes, similar al uso de lógica en la semántica formal de Milne.
Ofrece una cobertura exhaustiva de la teoría de lenguajes, siguiendo la estructura matemática y lógica presente en el texto de Milne.
Explora principios fundamentales en el diseño de lenguajes, manteniendo un enfoque teórico que resuena con la visión de Milne sobre semántica.
Estudia métodos rigurosos para definir significados de programas, alineándose con las técnicas de semántica denotacional y operacional discutidas por Milne.