[isabelle] program verification using denotational semantics
is there extensive literature on using denotational semantics for program verification?
With a quick search I have found
Wolfgang Polak. Program verification based on denotational semantics. In Conference Record of the Eighth ACM Symposium on Principles of Programming Languages, pages 149-158. ACM, January 1981.
The Foundations of Program Verification, 2nd Edition Jacques Loeckx, Kurt Sieber
and this course:
Also, is there a practical program verification tool for some language using denotational semantics?
This archive was generated by a fusion of
Pipermail (Mailman edition) and