Course Description( 3 credits )
An examination of programming language compiling techniques, through the
elaboration of progressively more complex interpreters written in a functional
language. The Lambda calculus; building programs from syntactic specifications;
data abstraction; lexers and parsers; environments and symbol tables; semantics
and interpreters; closures and function calls; recursion; typed systems; object
orientation; type inference.Prerequisites :
CS550 Formal Languages, CS551 Programming Languages, or equivalent.
Previously Taught :
Instructor :
Prof.
Alberto
Moreira
|