Browsing by Subject "Theory of Programming"
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 ...