Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness

Branko Markoski; Petar Hotomski; Dušan Malbaški; Danilo Obradović

The Yugoslav Journal of Operations Research (2010)

  • Volume: 20, Issue: 40, page 229-236
  • ISSN: 0354-0243

How to cite

top

Branko Markoski, et al. "Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness." The Yugoslav Journal of Operations Research 20.40 (2010): 229-236. <http://eudml.org/doc/261491>.

@article{BrankoMarkoski2010,
author = {Branko Markoski, Petar Hotomski, Dušan Malbaški, Danilo Obradović},
journal = {The Yugoslav Journal of Operations Research},
keywords = {denotational interpretation},
language = {eng},
number = {40},
pages = {229-236},
publisher = {Faculty of Organizational Sciences},
title = {Dijkstra's Interpretation of the Approach to Solving a Problem of Program Correctness},
url = {http://eudml.org/doc/261491},
volume = {20},
year = {2010},
}

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 - The Yugoslav Journal of Operations Research
PY - 2010
PB - Faculty of Organizational Sciences
VL - 20
IS - 40
SP - 229
EP - 236
LA - eng
KW - denotational interpretation
UR - http://eudml.org/doc/261491
ER -

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.