Kahn presenta métodos formales para definir el significado de los programas, similar a cómo Winskel utiliza la lógica para dar precisión matemática a los lenguajes.
The Formal Semantics of Programming Languages: An Introduction
por Glynn Winskel · 1993
Ver sugerenciasSinopsis
Este texto explora cómo los lenguajes de programación pueden definirse de manera formal y matemática, utilizando herramientas como la lógica y la teoría de dominios para dar significado preciso a los programas.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Stoy analiza la semántica denotacional de manera rigurosa, alineándose con la propuesta de Winskel de utilizar técnicas matemáticas en la semántica de lenguajes.
Langmaack se enfoca en los fundamentos matemáticos de la semántica de lenguajes, reflejando el enfoque formal y lógico de Winskel en la programación.
La semántica de los lenguajes de programación: Un enfoque denotacional
Joseph E. Stoy
1977·divulgacion
Este libro de Stoy se centra en el enfoque denotacional, que forma parte de la estructura formal que Winskel explora para definir programas.
Gunter proporciona un marco matemático que conecta con la búsqueda de Winskel de significados precisos en la semántica de los lenguajes de programación.
La semántica de los programas: Aplicaciones a la programación estructurada
Edsger W. Dijkstra
1976·ciencia ficcion
Dijkstra investiga la semántica formal con rigor matemático, apoyando los principios que Winskel utiliza para la verificación y corrección de programas.