PROOFS AS STATEFUL PROGRAMS: A FIRST-ORDER LOGIC WITH ABSTRACT HOARE TRIPLES, AND AN INTERPRETATION INTO AN IMPERATIVE LANGUAGE.
Saved in:
| Title: | PROOFS AS STATEFUL PROGRAMS: A FIRST-ORDER LOGIC WITH ABSTRACT HOARE TRIPLES, AND AN INTERPRETATION INTO AN IMPERATIVE LANGUAGE. |
|---|---|
| Authors: | POWELL, THOMAS1, trjp20@bath.ac.uk |
| Source: | Logical Methods in Computer Science (LMCS); 2024, Vol. 20 Issue 1, p1-32, 32p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
