Description: Syntax directed translation schemes for the compilation of imperative, functional and logic languages into suitable abstract machine code. Definition of such abstract machines for each paradigm. Compilation of inheritance in object-oriented languages. Abstract interpretation based on detonational and operational semantics. Implementation of a compiler for a functional, logic or object oriented programming language.

Prerequisite: Consent of the Instructor