Sign in
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language.
Thomas Powell
Published in:
Log. Methods Comput. Sci. (2024)
Keyphrases
</>