This repository contains the core components of our Recursive Student Programming Language Compiler Construction and Design project. The project aims to implement a complete compiler, including ...

Learn how compilers perform scanning, parsing, semantic analysis, code generation, and optimization to convert high-level programming languages into machine code.

Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking. This ...

Star 2 Code Issues Pull requests The final project of the Principles of Compiler Design course parser lexer compiler-design intermediate-code-generation Updated on Oct 20, 2021 Python ...