Email Gateway (Aug 22 2022 at 12:32): Email Gateway (Aug 22 2022 at 12:32):From: "W. Douglas Maurer" <maurer@email.gwu.edu>
I have done.work, over the years, on both program verification and denotational semantics. If you are using the axiomatic method, the point is to use the denotational description of a language in order to prove that the axioms hold in that language under certain conditions. We should all be aware that the axioms don't always hold; even the Assignment Axiom doesn't always hold in the presence of side effects.
Sent from my iPhone
Last updated: Apr 25 2024 at 12:23 UTC