TY - BOOK AU - Crespi-Reghizzi,Stefano TI - Formal languages and compilation T2 - Texts in computer science SN - 9781848820494 (hbk.) AV - QA267.3 .C736 2009 U1 - 005.453015113 22 PY - 2009/// CY - London PB - Springer KW - Formal languages KW - Compiling (Electronic computers) KW - Formale Sprache KW - swd KW - Compiler N1 - Includes bibliographical references (p. 353-355) and index; Introduction.- Syntax.- Finite Automata and Recognition of Regular Languages.- Phrases Recognition and Parsing.- Translation, Semantic, and Static Analysis.- Appendix: Case Studies.- Index ER -