Browsing AD - CTG – Informática by Subject "Algorithms"
Now showing items 1-1 of 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 ...