An elementary and unified approach to program correctness
We present through the algorithmic language DHL (Dijkstra-Hehner language), a practical approach to a simple first order theory based on calculational logic, unifying Hoare and Dijkstra’s iterative style of programming with Hehner’s recursive predicative programming theory, getting the “best of the...
- Autores:
-
Bohórquez, Jaime
- Tipo de recurso:
- Article of journal
- Fecha de publicación:
- 2009
- Institución:
- Escuela Colombiana de Ingeniería Julio Garavito
- Repositorio:
- Repositorio Institucional ECI
- Idioma:
- eng
- OAI Identifier:
- oai:repositorio.escuelaing.edu.co:001/1904
- Acceso en línea:
- https://repositorio.escuelaing.edu.co/handle/001/1904
- Palabra clave:
- Teoría de la Programación
Metodología de programación
Algoritmos
Theory of Programming
Programming Methodology
DHL
Algorithms
- Rights
- closedAccess
- License
- http://purl.org/coar/access_right/c_14cb
| Summary: | We present through the algorithmic language DHL (Dijkstra-Hehner language), a practical approach to a simple first order theory based on calculational logic, unifying Hoare and Dijkstra’s iterative style of programming with Hehner’s recursive predicative programming theory, getting the “best of the two worlds” and without having to recur in any way to higher-order approaches such as predicate transformers, Hoare logic, fixed-point or relational theory. |
|---|