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