Este trabajo utiliza un enfoque axiomático para especificar la semántica de programas, alineándose con la lógica presentada por Hoare en la verificación formal.
Programación concisa y verificación automática de programas
por C. A. R. Hoare · 1969
Ver sugerenciasSinopsis
Hoare explora el uso de la lógica para especificar la semántica de los programas y cómo se pueden usar aserciones lógicas para probar su corrección mediante el desarrollo de una lógica axiomática para la programación.
Sé el primero en valorar este libro.
Más de C. A. R. Hoare
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Aborda la definición formal de la semántica de lenguajes de programación, similar a cómo Hoare establece las bases matemáticas para asegurar la corrección del software.
Manna utiliza técnicas lógicas para demostrar la corrección de programas, reflejando el interés de Hoare en la verificación formal a través de aserciones lógicas.
Salwicki extiende la lógica de Hoare, permitiendo un razonamiento formal sobre programas, lo que conecta directamente con la lógica axiomática explorada por Hoare.
Este texto expone un sistema formal para razonar sobre la corrección de programas, resonando con el enfoque de Hoare sobre precondiciones y postcondiciones.
Recopila ideas de Hoare sobre verificación formal y diseño de software robusto, complementando su enfoque en la lógica, la concurrencia y la teoría de la computación.