Project for Compilation Theory