zbMATH — the first resource for mathematics

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.

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