Ambos libros utilizan un enfoque formal y matemático para definir la semántica de los lenguajes de programación, resaltando la importancia de la lógica en su significado.
La semántica de los lenguajes de programación funcional: Una aproximación categórica
por Carl A. Gunter · 1992
Ver sugerenciasSinopsis
Explora cómo la teoría de categorías puede proporcionar un marco formal y consistente para definir la semántica de los lenguajes de programación funcional.
Sé el primero en valorar este libro.
Más de Carl A. Gunter
Ver autor →Otras obras del mismo autor en el catálogo
La semántica de los lenguajes de programación
1992
Computation and Complexity
1996
Secure Computation
1999
Mathematical Foundations of Computer Science
2001
Models of Computation
2003
Computational Logic
2005
Theory of Computation
2007
Introduction to Algorithm Analysis
2009
Principles of Cybersecurity
2011
Advanced Topics in Computer Science
2014
Mathematical Models in Computer Science
2016
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este texto aplica métodos rigurosos y teóricos, similares a los del libro de referencia, para establecer el significado de programas mediante semántica operacional y denotacional.
Explora la teoría de categorías aplicándola a la programación lógica, alineándose con la aproximación categórica del libro de referencia al establecer semánticas formales.
Se centra en la semántica formal específicamente en lenguajes de programación funcionales, analizando cómo se asigna significado a sus construcciones, como en el libro de referencia.
Este libro, escrito por el mismo autor, profundiza en fundamentos teóricos de la semántica en lenguajes de programación, siguiendo líneas de pensamiento similares a las del texto original.
El ensayo aborda la definición matemática de la semántica en lenguajes de programación, enfatizando cómo un marco formal puede garantizar la corrección del software.