Listar por tema "Programming Methodology"
Mostrando ítems 1-1 de 1
-
An elementary and unified approach to program correctness
(Springer, 2009)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 ...