|
The efficient translation from high level language to machine code is examined. Topics covered include context free grammars and push down automata, program semantics, virtual machines, data types and type checking, control structures, subprograms and exception handling. In addition, the imperative, object oriented, function and logic programming paradigms are compared. Examples are taken from LISP, Prolog, C/C++ and Java. (Offered every semester.) |