Programming Languages And Compilers
 

The book will stress underlying theoretical concepts as well as a significant, practical themes. Topics include program syntax and semantics, formal translation of programming languages, finite-state recognizers and regular expressions, context-free parsing techniques such as LL(k) and LR(k), attribute grammars, syntax-directed translation, type checking and code generation.