A Type Inference Friendly Compiler for Mini-C

Project Overview

This project explores how missing type information can be recovered in incomplete C-like programs through a compiler-integrated type inference system. The project implements a compiler for a subset of C, called Mini-C, with full support for programme compilation and execution. A type inference system is built and integrated within the standard compiler pipeline to enable support for type inference and reconstruction for incomplete programmes.