Essays about: "Leo Okawa Ericson"
Found 1 essay containing the words Leo Okawa Ericson.
-
1. Simple formally verified compiler in Lean
University essay from Uppsala universitet/Institutionen för informationsteknologiAbstract : Computer checked proofs that a compiler is correct are important for increasing the confidence in programs. This report presents a simple compiler and a proof that the compiler is correct for terminating evaluations using the interactive theorem prover Lean, based on Concrete Semantics: with Isabelle/HOL. READ MORE
Result pages:
1