×

Dijkstra’s interpretation of the approach to solving a problem of program correctness. (English) Zbl 1265.03029

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.

MSC:

03B70 Logic in computer science
68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68Q55 Semantics in the theory of computing
PDFBibTeX XMLCite
Full Text: DOI