Formal Languages and Compilation

thus extending methods coverage with a reduced definitional apparatus • Introduces static program analysis, moving from the baseline reached with finite automata and local languages This comprehensive and clearly written text, based on many years of course instruction, will be welcomed as the ideal...

Full description

Bibliographic Details
Main Author: Crespi Reghizzi, Stefano
Format: eBook
Language:English
Published: London Springer London 2009, 2009
Edition:1st ed. 2009
Series:Texts in Computer Science
Subjects:
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Table of Contents:
  • Syntax
  • Finite Automata as Regular Language Recognizers
  • Pushdown Automata and Top-down Parsing
  • Bottom-Up and General Parsing
  • Translation Semantics and Static Analysis