2 research outputs found
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 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.Presentamos a travĂ©s del lenguaje algorĂtmico DHL (Dijkstra-Hehner language), una aproximaciĂłn práctica a una teorĂa simple de primer orden basada en lĂłgica de cálculo, unificando el estilo iterativo de programaciĂłn de Hoare y Dijkstra con la teorĂa recursiva de programaciĂłn predicativa de Hehner, obteniendo “lo mejor de los dos”. mundos” y sin tener que recurrir en modo alguno a enfoques de orden superior como los transformadores de predicados, la lĂłgica de Hoare, el punto fijo o la teorĂa relacional