Please use this identifier to cite or link to this item:
https://open.uns.ac.rs/handle/123456789/9572
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Markoski, Branko | en_US |
dc.contributor.author | Hotomski P. | en_US |
dc.contributor.author | MALBAšKI D. | en_US |
dc.contributor.author | Obradović, Danilo | en_US |
dc.date.accessioned | 2019-09-30T09:16:50Z | - |
dc.date.available | 2019-09-30T09:16:50Z | - |
dc.date.issued | 2010-12-01 | - |
dc.identifier.issn | 3540243 | en_US |
dc.identifier.uri | https://open.uns.ac.rs/handle/123456789/9572 | - |
dc.description.abstract | Proving the program correctness and designing the correct programs are two connected theoretical problems, which are ofgreat 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 canbe used for defining state sets for program P. | en_US |
dc.relation.ispartof | Yugoslav Journal of Operations Research | en_US |
dc.title | Dijkstra's interpretation of the approach to solving a problem of program correctness | en_US |
dc.type | Journal/Magazine Article | en_US |
dc.identifier.doi | 10.2298/YJOR1002229M | - |
dc.identifier.scopus | 2-s2.0-84874350602 | - |
dc.identifier.url | https://api.elsevier.com/content/abstract/scopus_id/84874350602 | - |
dc.description.version | Unknown | en_US |
dc.relation.lastpage | 236 | en_US |
dc.relation.firstpage | 229 | en_US |
dc.relation.issue | 2 | en_US |
dc.relation.volume | 20 | en_US |
item.grantfulltext | none | - |
item.fulltext | No Fulltext | - |
crisitem.author.dept | Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu, Katedra za informacione tehnologije | - |
crisitem.author.parentorg | Tehnički fakultet "Mihajlo Pupin" u Zrenjaninu | - |
Appears in Collections: | TFZR Publikacije/Publications |
SCOPUSTM
Citations
1
checked on May 20, 2023
Page view(s)
27
Last Week
7
7
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.