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...

Full description

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