On Giving Meanings to Programs

Abstract

AbstractIn a short section on the semantics of programs within his discussion of program correctness, Primiero seems to endorse the received view on the Scott-Strachey approach to denotational semantics as directly related to correctness. While this is true to some extent, I argue that the mathematical entities associated with programs play a lesser role in reasoning on program correctness, while the mathematical foundations of denotational semantics, namely the theory of domains, have contributed significantly to the conceptual understanding of programming and of computation in general