While Interpreter
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.
OCaml dependencies
- Menhir
- Zarith
- Re