Geodesic
Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness
Yugoslav journal of operations research, Tome 20 (2010) no. 2, p. 229 .

Voir la notice de l'article provenant de la source eLibrary of Mathematical Institute of the Serbian Academy of Sciences and Arts

Proving the program correctness and designing the correct programs are two connected theoretical problems, which are of great practical importance. The first is solved within program analysis, and the second one in program synthesis, although intertwining of these two processes is often due to connection between the analysis and synthesis of programs. Nevertheless, having in mind the automated methods of proving correctness and methods of automatic program synthesis, the difference is easy to tell. This paper presents denotative interpretation of programming calculation  explaining semantics by formulae ϕ and ψ, in such a way that they can be used for defining state sets for program P.
Classification : 03BXX
Keywords: Dijkstra, denotative interpretation, predicate, terminate, operator. 
@article{YJOR_2010_20_2_a3,
     author = {Branko Markoski and Petar Hotomski and Du\v{s}an Malba\v{s}ki and Danilo Obradovi\'c},
     title = {Dijkstra's {Interpretation} of the {Approach} to {Solving} a {Problem} of {Program} {Correctness}},
     journal = {Yugoslav journal of operations research},
     pages = {229 },
     publisher = {mathdoc},
     volume = {20},
     number = {2},
     year = {2010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/YJOR_2010_20_2_a3/}
}
TY  - JOUR
AU  - Branko Markoski
AU  - Petar Hotomski
AU  - Dušan Malbaški
AU  - Danilo Obradović
TI  - Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness
JO  - Yugoslav journal of operations research
PY  - 2010
SP  - 229 
VL  - 20
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/YJOR_2010_20_2_a3/
LA  - en
ID  - YJOR_2010_20_2_a3
ER  - 
%0 Journal Article
%A Branko Markoski
%A Petar Hotomski
%A Dušan Malbaški
%A Danilo Obradović
%T Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness
%J Yugoslav journal of operations research
%D 2010
%P 229 
%V 20
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/YJOR_2010_20_2_a3/
%G en
%F YJOR_2010_20_2_a3
Branko Markoski; Petar Hotomski; Dušan Malbaški; Danilo Obradović. Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness. Yugoslav journal of operations research, Tome 20 (2010) no. 2, p. 229 . http://geodesic.mathdoc.fr/item/YJOR_2010_20_2_a3/