@comment{This file has been generated by Pybliographer} @Book{Ah86, Author = "A. V. Aho and R. Sethi and J. D. Ullman", Title = "Compilers principles, techniques, and tools", Publisher = "Addison-Wesley", Address = "Reading, MA", year = 1986 } @Book{Mu97, Author = {Steven S. Muchnick}, Title = {Advanced compiler design and implementation}, Publisher = {Morgan Kaufmann Publishers Inc.}, Address = {San Francisco, CA, USA}, year = 1997 } @Book{Wa85, Author = {W. M. Waite and G. Goos}, Title = {Compiler Construction}, Publisher = {Springer-Verlag New York, Inc.}, Address = {Secaucus, NJ, USA}, isbn = {0387908218}, year = 1985 } @Book{Wi94, Author = {R. Wilhelm and D. Maurer}, Title = {Les compilateurs: th\'eorie, construction, g\'en\'eration}, Publisher = {Masson}, Series = {Manuels Informatique}, year = 1994 } @Book{Ap02, Author = "Andrew W. Appel", Title = "Modern Compiler Implementation in {Java}", Publisher = "Cambridge University Press", Address = "Cambridge, UK", Edition = "Second Edition", annotate = "Many references.", key = "Appel", year = 2002 } @Book{Co04, Author = {Keith D. Cooper and Linda Torczon}, Title = {Engineering a Compiler}, Publisher = {Morgan Kaufmann}, Address = {San Francisco}, annote = {324 references.}, key = {Cooper \& Torczon}, year = 2004 } @Book{St93, Author = {Susan Stepney}, Title = {High Integrity Compilation. A Case Study}, Publisher = {Prentice Hall}, keywords = {high integrity compilation}, year = 1993 } @Book{Le95, Author = {J. R. Levine and T. Mason and D. Brown}, Title = {Lex \& Yacc}, Publisher = {O' Reilly}, Series = {Unix Programming Tools}, year = 1995 } @InProceedings{Ha94, Author = {Lutz H. Hamel and Joseph A. Goguen}, Title = {Towards a Provably Correct Compiler for {OBJ}3}, BookTitle = {PLIP'94}, Publisher = {Springer Verlag}, keywords = {correct compilation}, year = 1994 }