Explora la semántica de los lenguajes de programación con un enfoque sistemático, similar a la rigurosidad discutida en 'Semántica formal de los lenguajes de programación'.
Semántica formal de los lenguajes de programación
por Gilles Kahn · 1987
Ver sugerenciasSinopsis
Examina métodos rigurosos para definir el significado de los programas, incluyendo semántica operacional, denotacional y axiomática, crucial para la verificación y el diseño de lenguajes.
Sé el primero en valorar este libro.
Más de Gilles Kahn
Ver autor →Otras obras del mismo autor en el catálogo
Algorithmic Probability and Combinatorial Optimization
2001
Probabilistic Algorithms for Satisfiability
2002
Introduction to Blending Algorithms
2004
Information and Computation
2007
Computational Complexity
2010
Randomized Algorithms for Satisfiability
2011
Algorithmic Game Theory
2012
Mathematics of the Algorithm
2015
Computability and Complexity
2017
Principios para los lenguajes de programación
Libros similares
Libros relacionados según distintos criterios de búsqueda
Ofrece un marco matemática y formal, como en el libro de referencia, para definir el significado de programas a través de lógicas aplicadas.
Introduce técnicas matemáticas precisas, alineándose con la discusión de semántica denotacional que se encuentra en la obra de Gilles Kahn.
Desarrolla fundamentos matemáticos para la semántica de los lenguajes, similar al enfoque riguroso del libro de referencia hacia la programación.
Proporciona un marco teórico y matemático que se asemeja al trabajo de Kahn, enfocándose en la semántica y el significado de programas.
La semántica de los programas: Aplicaciones a la programación estructurada
Edsger W. Dijkstra
1976·ciencia ficcion
Establece conexiones fundamentales entre la semántica formal y la verificación de programas, siguiendo la línea de pensamiento del libro de referencia.