Compiler for a Functional Language
September 2021 - December 2021
Florida State University
- Developed a compiler for a functional programming language based on SMT-LIB
- Implemented lexer, parser, AST/CFG generation, analyzer for logic errors, optimizations, and translation to x86
- Optimizations: Constant propagation and Simplify CFG (Merging basic blocks, and simplifying if-then-else)