Hoare utiliza la lógica para demostrar la corrección de programas, similar a la lógica algorítmica de Salwicki para la verificación de algoritmos.
Lógica Algorítmica
por Andrzej Salwicki · 1970
Ver sugerenciasSinopsis
Salwicki introduce la lógica algorítmica como una extensión de la lógica de Hoare para el razonamiento sobre propiedades de programas de computadora, permitiendo la verificación formal de algoritmos.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Mostowski profundiza en el uso de la lógica matemática para analizar algoritmos, alineándose con los fundamentos lógicos presentados por Salwicki sobre programas.
Lógica Algorítmica y Programación Lógica (Algorithmic Logic and Logic Programming)
Helena Rasiowa
1989·ensayo
Rasiowa examina cómo la lógica algorítmica se aplica a la programación lógica, conectando con la estructura formal discutida en Lógica Algorítmica de Salwicki.
Dijkstra enfatiza la derivación de programas correctos mediante un enfoque formal, resonando con la verificación rigurosa que propone Salwicki en su ensayo.
Hoare presenta un sistema para razonar sobre la corrección de programas, empleando conceptos que tienen paralelismos con la lógica algorítmica de Salwicki.
Dijkstra defiende que la programación es un proceso lógico, reflejando la importancia de la verificación que se aborda en Lógica Algorítmica de Salwicki.