Login / Signup
A Hoare Logic Contract Theory: An Exercise in Denotational Semantics.
Dilian Gurov
Jonas Westman
Published in:
Principled Software Development (2018)
Keyphrases
</>
denotational semantics
programming language
formal theory
operational semantics
probability theory
proof theory
logical framework
general purpose
multi dimensional
modal logic
set theory
principal agent