Este ensayo de Hoare aborda la lógica como herramienta para especificar la semántica de programas, alineándose con la formalidad presentada en la obra de referencia.
The Specification of a Programming Language: A Small Example
por Charles Antony Richard Hoare · 1969
Ver sugerenciasSinopsis
Este trabajo presenta una manera formal y axiomática de especificar la semántica de los programas, sentando las bases para la verificación de la corrección del software.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
La importancia de una definición formal en la semántica de lenguajes, discutida por Hoare, se refleja en la búsqueda de corrección y robustez del software.
Formal Methods Applied to the Specification of Software Systems
C.A.R. Hoare, Michael J.C. Gordon
1982·ensayo
En este texto se aplican métodos formales para verificar la corrección del software, similar a la propuesta axiomática presentada en la obra de referencia.
Rosser analiza enfoques semánticos que se complementan con la perspectiva axiomática, enriqueciendo la exploración de la semántica en relación a los lenguajes de programación.
Este artículo presenta el sistema formal de Hoare para razonar sobre la corrección de programas, que es una extensión directa del enfoque axiómico mencionado en la obra de referencia.
Winskel explora definiciones formales y matemáticas de lenguajes de programación, ofreciendo un significado preciso, similar a la búsqueda de semántica formal que propone Hoare.