Formal Compiling Methods

CSCI 66100


P: 502.

Not Currently Offered

Application of concepts developed in formal language and automata theory to the design of programming languages and their processors. Models of syntactic analysis, including canonical precedence, LRand LLparsing methods and variants; efficiency of each. Synthesis techniques, including symbol tables, storage administration, parameter mechanisms, garbage collection; optimization considerations. Models of synthesis, including level, affix, attributed grammars; prospects of fully automating compiler design. Applicative vs. procedural languages and their implementations based on semantic definition of a language LISP, Lucid and on proof-like techniques PROLOG, equational systems; merits of such approaches.