Measures of performance, reliability, and performability. Theoretical Computer Science I. Graduate standing in EECS or permission of the instructor. A review of the automata theory and context-free grammars. General grammars, recursive functions, logic, complexity theory and applications of the above. May not receive credit for both CS 482 and 582.
Students write two or three substantial programs.
CS 480 or the equivalent. Introduction to compiling techniques including parsing algorithms, semantic processing, and code generation. With the aid of a compiler writing system, students implement a compiler for a substantial programming language. Other topics include portability, bootstrapping, parser generation, compiler writing systems. Very heavy programming load.