A simple certified compiler from arithmetic to a target imperative language with while loops, assignment, addition, less-than and AND/NOT operators.
Read explanation.
MaxCarroll0/Compiler-Arith-IMP-Termination
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|