Markoski, Branko; Hotomski, Petar; Malbaški, Dušan; Obradović, Danilo Dijkstra’s interpretation of the approach to solving a problem of program correctness. (English) Zbl 1265.03029 Yugosl. J. Oper. Res. 20, No. 2, 229-236 (2010). The authors present a denotational interpretation of executions of programs which is based on Dijkstra’s ideas about programming logic. Program executions are described using a formal system, while the corresponding semantics consist of sets of states of the considered programs. Denotational interpretations of total and partial correctness are specified in this framework. Reviewer: Zoran Ognjanović (Beograd) Cited in 1 Document MSC: 03B70 Logic in computer science 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 68Q55 Semantics in the theory of computing Keywords:denotational interpretation PDFBibTeX XMLCite \textit{B. Markoski} et al., Yugosl. J. Oper. Res. 20, No. 2, 229--236 (2010; Zbl 1265.03029) Full Text: DOI