Al igual que el libro de referencia, este ensayo trata sobre la semántica en programación, centrándose en la complejidad computacional y su implicación en el análisis de programas.
Computer Semantics: Studies in Logic and Computer Science
por Gerd Muehlbauer · 2004
Ver sugerenciasSinopsis
Una colección de ensayos que explora las bases lógicas y semánticas de los lenguajes de programación y los sistemas informáticos, abordando cómo el significado se construye en un contexto computacional.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este trabajo aborda la definición formal de la semántica, similar a Muehlbauer, al enfatizar cómo el significado se construye matemáticamente para garantizar la corrección del software.
La perspectiva semiótica en este texto conecta con el enfoque de Muehlbauer al explorar cómo el lenguaje de programación afecta el pensamiento y el significado en contextos computacionales.
Al igual que Muehlbauer, Rosser investiga diferentes enfoques semánticos en los lenguajes de programación, analizando nociones fundamentales antes de establecer el enfoque denotacional.
Gunter se adentra en fundamentos teóricos de la semántica, coincidiendo con el interés de Muehlbauer por el marco matemático que ayuda a comprender el significado de los programas.
Winskel utiliza herramientas matemáticas para definir formalmente los lenguajes de programación, un enfoque que refleja la exploración lógica y semántica presentada en Computer Semantics.