New Investigator: Imperative programs from proofs

Powell, Thomas (PI)

Department of Computer Science

Project: Research council

1 Article

1 results

Filter

2024
Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
Powell, T., 26 Jan 2024, In: Logical Methods in Computer Science. 20, 1, p. 7:1–7:32
Research output: Contribution to journal › Article › peer-review

Open Access