This is an interpreter for a While+ language that I wrote as an assignment for the Software Verification course at University of Padova. It works in denotational semantics and evaluates while
statements with the Kleene-Knaster-Tarski fixpoint iteration.
- Menhir
- Zarith
- Re