Theoretical results in compiler design and implementation (Tutorial Session)

The aim of this session is to survey some advances in theoretical computer science and their impact on the design of programming language compilers. There has been considerable research activity in three major areas: the analysis of program syntax (parsing), the detection of errors at compile time, and the optimization of compiled code. The tutorials presented here do not purport to summarize all the work that has been done; instead, they attempt to capture the flavor of current research in these areas and demonstrate its practical importance.