Compiler Design Logic