In 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
On Giving Meanings to Programs
Felice Cardone
2023-01-01
Abstract
In 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
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
On_Giving_Meaning.pdf
Accesso aperto
Descrizione: Versione pubblicata
Tipo di file:
PDF EDITORIALE
Dimensione
800.61 kB
Formato
Adobe PDF
|
800.61 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
