% These are my parsing bibliography cards % % Last change : 20.Aug.1993 % % need a reference for bison and flex % need a reference for Rosencranz and Stearns % ----- A ----- @book{Dragon, AUTHOR = {Alfred V. Aho and Ravi Sethi and Jeffrey D. Ullman}, TITLE = {COMPILERS : Principles, Techniques and Tools}, PUBLISHER = {Addison-Wesley}, ADDRESS = {Reading, MA}, YEAR = {1986} } @article{PDA, AUTHOR = {Alfred B. Aho and J. E. Hopcroft and Jeffrey D. Ullman}, TITLE = {Time and Tape Complexity of Pushdown Automaton Languages}, JOURNAL = {Information and Control}, VOLUME = {13}, PAGES = {186-206}, YEAR = {1968} } @book{AhoUllmanI, AUTHOR = {Alfred V. Aho and Jeffrey D. Ullman}, TITLE = {The Theory of Parsing, Translation and Compiling}, VOLUME = {I : Parsing}, PUBLISHER = {Prentice-Hall}, YEAR = {1972} } @book{AhoUllmanII, AUTHOR = {Alfred V. Aho and Jeffrey D. Ullman}, TITLE = {The Theory of Parsing, Translation and Compiling}, VOLUME = {II : Compiling}, PUBLISHER = {Prentice-Hall}, YEAR = {1972}, ANNOTE = {Old Testament, error in transformation section} } @article{LRparsing, AUTHOR = {A. V. Aho and S. C. Johnson}, TITLE = {{LR} Parsing}, JOURNAL = {Computing Surveys}, VOLUME = {6}, NUMBER = {2}, PAGES = {99-124}, MONTH = {June}, YEAR = {1974} } @article{Efficient, AUTHOR = {T. Anderson, J. Eve, and {J. J.} Horning}, TITLE = {Efficient {LR}(1) Parsers}, JOURNAL = {Acta Informatica}, VOLUME = {2}, PAGES = {12-39}, YEAR = {1973} } @article{Leermakers-Augusteijn-Kruseman, author = {Ren\'e Leermakers and Lex Augusteijn and Frans E.J. {Kruseman Aretz}}, title = {{A functional LR-parser}}, journal = tcs, year = {1992}, volume = {104}, pages = {313--323}} @article{Leermakers-Earley-Marcus, author = {Ren\'e Leermakers}, title = {{Recursive ascent parsing: from Earley to Marcus}}, journal = tcs, year = {1992}, volume = {104}, pages = {299--312}} @inproceedings{Leermakers-Earley-LR, author = {Ren\'e Leermakers}, title = {{Recursive ascent parsing: from Earley to LR}}, booktitle = {Computer Science in the Netherlands}, year = {1992}} @article{Leermakers-Earley, author = {Ren\'e Leermakers}, title = {{A recursive ascent Earley parser}}, journal = ipl, year = {1992}, volume = {41}, pages = {87}} @article{Kruseman-Ascent, author = {F.E.J. {Kruseman Aretz}}, title = {{On a Recursive Ascent Parser}}, journal = ipl, year = {1988}, volume = {29}, pages = {201--206}} @phdthesis{Augusteijn-thesis, author = {Lex Augusteijn}, title = {Functional Programming, Program Transformations and Compiler Construction}, school = {Eindhoven Technical University}, month = {October}, year = {1993}} @incollection{Elegant, AUTHOR = {Lex Augusteijn}, TITLE = {The Elegant compiler generator system}, EDITOR = {P. Deransart and J. Jourdan}, BOOKTITLE = {{Attribute Grammars and their Applications}}, SERIES = {LNCS 461}, PUBLISHER = {Springer Verlag}, ADDRESS = {Berlin}, YEAR = {1990}, PAGES = {238--254} } % ----- B ----- @book{Backhause, AUTHOR = {Roland C. Backhouse}, TITLE = {Syntax of Programming Languages - Theory and Practice}, PUBLISHER = {Prentice-Hall}, YEAR = {1979} } @article{VerbalParenthesis, AUTHOR = {F.L.Bauer and K. Samelson}, TITLE = {Sequential Formula Translation}, JOURNAL = {CACM}, VOLUME = {3}, NUMBER = {2}, PAGES = {76-83}, YEAR = {1960} } @proceedings{CompilerConstruction, EDITOR = {F. L. Bauer and J. Eickel}, TITLE = {Compiler construction. An Advanced Course}, PUBLISHER = {Springer Verlag}, ADDRESS = {Berlin, Heidelberg}, YEAR = {1976} } @article{unified, AUTHOR = {Manuel E. Bermudez}, TITLE = {A Unifying Model of Lookahead {LR} Parsing}, JOURNAL = {Computer Languages}, VOLUME = {16}, NUMBER = {2}, PAGES = {167--178}, YEAR = {1991} } @Article{bermudez-logothetis, AUTHOR = {Manuel E. Bermudez and George Logothetis}, TITLE = {Simple Computation of LALR(1) Lookahead Sets}, JOURNAL = {Information Processing Letters}, YEAR = {1989}, VOLUME = {31}, PAGES = {233-238}, ANNOTE = {Nice and simple way of formulating the lookahead set computation} } @techreport{Bochum140, AUTHOR = {Eberhard Bertsch, Erik Heckert, Carlten Kuckuk}, TITLE = {Zeitoptimierte {S}yntaxanalyse bei {M}odula-2-{P}rogrammen}, INSTITUTION = {Ruhr-Universit\"at Bochum, Fakult\"at f\"ur Informatik}, YEAR = {1990}, MONTH = {M\"arz}, NUMBER = {140} } @inproceedings{CuttingEdge, AUTHOR = {Jonathan P. Bowen and Peter T. Breuer}, TITLE = {Occam's {R}azor: {T}he {C}utting {E}dge of {P}arser {T}echnology}, ADDRESS = {Toulouse}, YEAR = {1992}, BOOKTITLE = {Fifth International Conference on Software Engineering \& its Applications}, ANNOTE = {} } @techreport{PRECC, AUTHOR = {Peter T. Breuer and Jonathan P. Bowen}, TITLE = {A {PRE}ttier {C}ompiler-{C}ompiler: {G}enerating {H}igher {O}rder {P}arsers in {C}}, INSTITUTION = {Programming Research Group}, ADDRESS = {Oxford University}, NUMBER = {{PRG}-{TR}-20-92}, YEAR = {1992}, ANNOTE = {} } @article{Brzozowski, AUTHOR = {{J. A.} Brzozowski}, TITLE = {Derivations of {R}egular {E}xpressions}, JOURNAL = {JACM}, YEAR = {1964}, VOLUME = {11}, NUMBER = {4}, MONTH = {Oct.}, PAGES = {481-494} } % ----- C ----- @article {CH, AUTHOR = {N. P. Chapman}, TITLE = {{LALR}(1,1) Parser Generation for Regular Right Part Grammars}, JOURNAL = {AI}, VOLUME = {21}, PAGES = {29--45}, YEAR = {1984} } % ----- D ----- @article{DDH, AUTHOR = {Peter Dencker and Karl Durre and Johannes Heuft}, TITLE = {Optimization of Parser Tables for Portable Compilers}, JOURNAL = {ACM Transactions on Programming Languages and Systems}, Volume = {6}, Number = {4}, Month = {October}, YEAR = {1984}, ANNOTE = {good algorithm for compacting parsing tables} } @phdthesis{DeRemerPhD, AUTHOR = {Franklin L. DeRemer}, TITLE = {Practical Translation for {LR}(k) languages.}, ADDRESS = {MIT, Cambridge, Mass}, MONTH = {September}, YEAR = {1969} } @article{DeRemer, AUTHOR = {Franklin L. DeRemer}, TITLE = {Simple {LR}(k) Grammars}, JOURNAL = {CACM}, YEAR = {1971}, VOLUME = {14}, NUMBER = {7}, PAGES = {453-460} } @article{DeRemerPennello, AUTHOR = {Frank DeRemer and Thomas Pennello}, TITLE = {Efficient Computation of {LALR}(1) Look-Ahead Sets}, JOURNAL = {ACM TOPLAS}, VOLUME = {4}, NUMBER = {4}, MONTH = {October}, YEAR = {1982}, PAGES = {615-649} } @article{Deussen, AUTHOR = {P. Deussen and L. Wegener}, TITLE = {A bibliography of the van {W}ijngaarden grammars}, JOURNAL = {Bulletin of the European Association of Theoretical Computer Science (ETACS)}, YEAR = {1978}, VOLUME = {6} } % ----- E ----- @article{Earley, AUTHOR = {Jay Earley}, TITLE = {An Efficient Context-Free Parsing Algorithm}, JOURNAL = {CACM}, VOLUME = {13}, NUMBER = {2}, MONTH = {February}, YEAR = {1970}, PAGES = {94-102}, NOTE = {reprinted in CACM 26(1), Jan. 1983, pp. 57-61} } @inproceedings{Eickel, AUTHOR = {J. Eickel}, TITLE = {Methoden der syntaktischen {A}nalyse bei formalen {S}prachen}, NOTE = {2. Jahrestagung der Gesellschaft fuer Informatik, Karlsruhe, 2.-4.Oktober 1972}, SERIES = {Lecture Notes in Economics and Mathematical Systems}, VOLUME = {78}, PAGES = {37-53} } % ----- F ----- @techreport{FeldSch, AUTHOR = {Detlef Feldmann and Alois Sch\"utte}, TITLE = {Spezifikation einfacher, kontextsensitiver Syntaxkonstrukte von Occam2 durch eine Graphgrammatik}, INSTITUTION = {EWH Rheinland-Pfalz, Koblenz}, YEAR = {1990}, NUMBER = {1}, ANNOTE = {Declare before use and type matching for assignment and operators} } % ----- G ----- @article{GellerHarrison, AUTHOR = {M. M. Geller and M. A. Harrison}, TITLE = {On {LR}(k) grammars and languages}, JOURNAL = {Theoretical Computer Science}, NUMBER = {4}, YEAR = {1977}, PAGES = {245-276} } @book{bison, AUTHOR = {{GNU} Project}, TITLE = {Bison - Manual Page}, PUBLISHER = {Public Domain Software}, YEAR = {1988}, ANNOTE = {This is the way Grosch quotes it in the 88/Berlin conf. proceedings!} } @book{Gough, AUTHOR = {Kevin John Gough}, TITLE = {Syntax Analysis and Software Tools}, PUBLISHER = {Addison-Wesley}, ADDRESS = {Sydney}, YEAR = {1988} } @article{Eli, AUTHOR = {Robert W. Gray and Vincent P. Heuring and Steven P. Levi and Anthony M. Sloane and William M. Waite}, TITLE = {Eli: A Complete, Flexible COmpiler Construction System}, JOURNAL = {CACM}, VOLUME = {35}, NUMBER = {2}, MONTH = {February}, YEAR = {1992} } @techreport{Rex, AUTHOR = {Josef Grosch}, TITLE = {REX - A Scanner Generator}, INSTITUTION = {GMD Forschungsstelle an der Universit\"at Karlsruhe, Compiler Generation Report}, MONTH = {Dec}, YEAR = {1987}, NUMBER = {5} } @inproceedings{Generators, AUTHOR = {Josef Grosch}, TITLE = {Generators for High-Speed Compilation}, BOOKTITLE = {LNCS 371 : Compiler Compilers and High-Speed Compilation}, PUBLISHER = {Springer Verlag}, ADDRESS = {Berlin}, EDITOR = {D. Hammer}, ORGANIZATION = {2nd CCHSH Workshop, Berlin, GDR}, MONTH = {Oct}, YEAR = {1988} } @inproceedings {GrKiSe, author = "J. E. Grass, Chandra Kintala and Ravi Sethi", title = "Object-oriented Redesign using {C++}", booktitle = "Usenix {C++} Conference Proceedings", pages = "75--86", address= "San Francisco, CA", month = "April", year = 1990} @unpublished {GR90.pub, author = "J. E. Grass", title = "A User's Guide to {Ryacc} (version 0.0): A Parser Generator for Regular Right Part Grammars", institution = BLTM, note = "Available from author grass@ulysses.att.com (Judith Grass)", year = 1990} @PhdThesis{Grude, author = {Ulrich Grude}, title = {Algebraische {S}pezifikation und {K}orrektheit von {C}ompilern}, school = {TU Berlin}, year = {1985}, annote = {mit Attributgrammatiken} } @book{GruneJacobs, AUTHOR = {Grune, Jacobs}, TITLE = {Parsing Techniques: A Practical Guide} } % ----- H ----- @inproceedings{2PDA, AUTHOR = {Hartmanis and Lewis and Stearns}, TITLE = {Hierarchies of memory limited computations}, BOOKTITLE = {Proceedings of the sixth annual IEEE Symposium on Switching and Automata Theory}, PAGES = {327-333}, YEAR = {1965} } @article {HEC, author = "R. Heckmann", title = "An Efficient {ELL}(1) Parser Generator", journal = AI, volume = 23, pages = "127--148", year = 1986} @article {HEI, author = "S. Heilbrunner", title = "On the Definition of {ELR}(k) and {ELL}(k) Grammars", journal = AI, volume = 11, pages = "169--176", year = 1979} @book{HopcroftUllman, AUTHOR = {John E. Hopcroft and Jeffrey D. Ullman}, TITLE = {Introduction to Automata Theory, Languages and Computation}, PUBLISHER = {Addison-Wesley}, ADDRESS = {Reading}, YEAR = {1979}, ANNOTE = {Deutsche Ausgabe 1988} } @incollection{Hughes-memo, author = {John Hughes}, title = {Lazy Memo-Functions}, editor = {J.-P. Jouannaud}, booktitle = {Functional Programming Languages and Computer Architecture}, series = lncs, number = {201}, publisher = {Springer Verlag}, address = {Berlin}, year = {1985}, pages = {129--146}} @inproceedings{Hutton89, AUTHOR = {Graham Hutton}, TITLE = {Parsing Using Combinators}, BOOKTITLE = {Glasgow Workshop on Functional Programming}, EDITOR = {Kei Davis and John Hughes}, ADDRESS = {Fraserburgh, Scotland}, PUBLISHER = {Springer Verlag}, SERIES = {Springer Workshops in Computing}, MONTH = {August}, YEAR = {1989}, ANNOTE = {Equivalent to Hutton92} } @article{Hutton92, AUTHOR = {Graham Hutton}, TITLE = {Higher-Order Functions for Parsing}, JOURNAL = {{\em to appear in} Journal of Functional Programming}, YEAR = {1992}, ANNOTE = {Just a bit more than Hutton89} } % ----- J ----- @techreport{Primordial, AUTHOR = {Wil Janssen and Mannes Poel and Klaas Sikkel and Job Zwiers}, TITLE = {The Primordial Soup Algorithm. A Systematic Approach to the Specification and Design of Parallel Parsers}, INSTITUTION = {University of Twente}, ADDRESS = {Enschede, The Netherlands}, NUMBER = {91-77}, MONTH = {November}, YEAR = {1991}, ANNOTE = {A wild idea for making a primordial soup of parsing trees, uses Prolog, attempts parallelism, and might even work.} } @techreport{yacc, AUTHOR = {S. C. Johnson}, TITLE = {Yacc - yet another compiler compiler}, INSTITUTION = {AT\&T Bell Laboratories}, ADDRESS = {Murray Hill, NJ}, YEAR = {1975}, NUMBER = {32}, ANNOTE = {} } % ----- K ----- @book{GAG, AUTHOR = {Uwe Kastens and B. Hutt and E. Zimmermann}, TITLE = {GAG : A Practical Compiler Generator}, SERIES = {LNCS 141}, PUBLISHER = {Springer Verlag}, ADDRESS = {Berlin}, YEAR = {1982} } @article{Knuthattributes, AUTHOR = {Donald E. Knuth}, TITLE = {Semantics of context-free languages}, JOURNAL = {Math. Syst. Theory}, YEAR = {1968}, VOLUME = {2}, PAGES = {127-145}, ANNOTE = {First paper on attribute grammars} } @article{Knuthleftright, AUTHOR = {Donald E. Knuth}, TITLE = {On the translation of languages from left to right}, JOURNAL = {Inform. Control}, YEAR = {1965}, VOLUME = {8}, PAGES = {607-639} } @techreport{TransformLEX, AUTHOR = {Kolyang and Junbo Liu and Burkhart Wolff}, TITLE = {Transformational Development of LEX}, INSTITUTION = {Universit\"at Bremen}, NUMBER = {Draft version 2 July 94 }, ANNOTE = {Same thing I'm doing in verification in synthesis}, } @article{Kruseman-Ascent, author = {F.E.J. {Kruseman Aretz}}, title = {{On a Recursive Ascent Parser}}, journal = ipl, year = {1988}, volume = {29}, pages = {201--206}} % ----- L ----- @article {LA77, author = "W. R. {LaLonde}", title = "Regular Right part Grammars and Their Parsers", journal = "CACM", volume = 20, number = 10, pages = "731--741", month = oct, year = 1977} @article {LA79, author = "W. R. {LaLonde}", title = "Constructing {LR} Parsers for Regular Right part Grammars", journal = AI, volume = 11, pages = "177--193", year = 1979} @article{HL1, AUTHOR = {Hans Langmaack}, TITLE = {Application of Regular Cononical Systems to Grammars Translatable from Left to Right}, JOURNAL = {Acta Informatica}, VOLUME = {1}, NUMBER = {1}, YEAR = {1971}, PAGES = {111-114} } @book{Leermakers-Parsing, author = {Ren\'e Leermakers}, title = {{The Functional Treatment of Parsing}}, publisher = {Kluwer Academic Publishers}, year = {1993}} @article{Leermakers-Augusteijn-Kruseman, author = {Ren\'e Leermakers and Lex Augusteijn and Frans E.J. {Kruseman Aretz}}, title = {{A functional LR-parser}}, journal = tcs, year = {1992}, volume = {104}, pages = {313--323}} @techreport{lex, AUTHOR = {M. E. Lesk}, TITLE = {{LEX} - a lexical analyzer generator}, INSTITUTION = {AT\&T Bell Laboratories}, ADDRESS = {Murray Hill, NJ}, YEAR = {1975}, NUMBER = {39}, ANNOTE = {} } % ----- M ----- @book{Mayer, AUTHOR = {Otto Mayer}, TITLE = {Syntaxanalyse}, SERIES = {Reihe Informatik 27}, PUBLISHER = {BI Wissenschaftsverlag}, YEAR = {1978}, ANNOTE = {HL's guide for compilerbau lecture} } @article{Michie-memo, author = {D. Michie}, title = {{"Memo" Functions and Machine Learning}}, journal = {Nature}, month = {April}, year = {1968}, volume = {218}, pages = {19--22}} % ----- N ----- @article {NS86, author = "I. Nakata and M. Sassa", title = "Generation of Efficient {LALR} Parsers for Regular Right Part Grammars", journal = AI, volume = 23, pages = "149--162", year = 1986} @article {NS87, author = "I. Nakata and M. Sassa", title = "A Simple Realization of {LR}-Parsers for Regular Right Part Grammars", journal = IPL, volume = 24, pages = "113--120", year = 1987} @article{Algol60rev, AUTHOR = {Peter Naur}, TITLE = {Revised Report on the algorithmic language {Algol} 60}, JOURNAL = {CACM}, YEAR = {1965}, VOLUME = {6}, NUMBER = {1}, PAGES = {1-17}, ANNOTE = {Naur is just the ed, how do we note this?} } @book{Nijholt, AUTHOR = {Anton Nijholt}, TITLE = {Deterministic Top-Down and Bottom-Up Parsing: Historical Notes and Bibliographies}, PUBLISHER = {Mathematical Centre}, YEAR = {1983}, ANNOTE = {} } @manual{Cookbook, KEY = {Norsk 1985}, AUTHOR = {{Norsk Data Compiler Group M\"ulheim}}, TITLE = {CAT-Cookbook}, ORGANIZATION = {Norsk Data, {GmbH}}, ADDRESS = {M\"ulheim}, YEAR = {1985}, NOTE = {}, ANNOTE = {} } % ----- P ----- @ARTICLE {Pager1, AUTHOR = {David Pager}, title = {A Practical General Method for Constructing {LR}(k) Parsers}, journal = {Acta Informatica}, volume = {7}, pages = {249-268}, year = {1977} } @article{Penello, author = {Thomas J. Penello}, title = {{Very Fast LR Parsing}}, journal = sigplan, year = {1986}, volume = {21}, number = {7}, pages = {145-151}} @book{Polak, AUTHOR = {Wolfgang Polak}, TITLE = {Compiler Specification and Verification}, PUBLISHER = {Springer Verlag}, ADDRESS = {New York}, SERIES = {LNCS 124}, YEAR = {1981}, ANNOTE = {} } @article {PB, author = "P. W. {Purdom, Jr.} and C. A. Brown", title = "Parsing Extended {LR}(k) Grammars", journal = AI, volume = 15, pages = "115--127", year = 1981} % ----- R ----- @article{ScottRabin, AUTHOR = {M. O. Rabin and D. Scott}, TITLE = { Finite Automata and Their Decision Problems}, JOURNAL = {{IBM} Journal}, YEAR = {1959}, MONTH = {April}, PAGES = {114-125}, ANNOTE = {A constructive proof of the NDFA-DFA equivalence. Reprint in E.F.Moore, Sequential Machines, Addison-Wesley, Reading, Mass. 1964, 63-91} } % eigentlich masterthesis @mastersthesis{HanneMSc, KEY = {Riis 1980}, AUTHOR = {Hanne Riis}, TITLE = {Subclasses of Attribute Grammars}, SCHOOL = {\AA rhus University, Denmark}, MONTH = {March}, YEAR = {1980}, ADDRESS = {Ny Munkgade, DK 8000 \AA rhus C}, ANNOTE = {DAIMI PB-114} } @article{Roberts-RA, author = {George H. Roberts}, title = {{Recursive Ascent: An LR Analog to Recursive Descent}}, journal = sigplan, year = {1988}, volume = {23}, number = {3}, pages = {23--29}} % ----- S ----- @book{Salomaa, AUTHOR = {Arto K. Salomaa}, TITLE = {Formal Languages}, PUBLISHER = {Academic Press}, ADDRESS = {New York}, YEAR = {1973}, ANNOTE = {in German: Formale Sprachen, Springer Verlan 1978} } @book{ccwithUNIX, AUTHOR = {Axel T. Schreiner and H. {George Friedman, Jr.}}, TITLE = {Introduction to Compiler Construction with UNIX}, PUBLISHER = {Prentice-Hall}, ADDRESS = {Englewood Cliffs, NJ}, YEAR = {1985}, ANNOTE = {} } @book{PT1, AUTHOR = {S. Sippu and E. Soisalon-Soininen}, TITLE = {Parsing Theory. Vol.1: Languages and Parsing}, PUBLISHER = {Springer Verlag}, ADDRESS = {Berlin}, SERIES = {EATCS Monograph on Theoretical Computer Science}, Volume = {15}, YEAR = {1988}, ANNOTE = {} } @book{PT2, AUTHOR = {S. Sippu and E. Soisalon-Soininen}, TITLE = {Parsing Theory. Vol.2: LR(k) and LL(k) Parsing}, PUBLISHER = {Springer Verlag}, ADDRESS = {Berlin}, SERIES = {EATCS Monograph on Theoretical Computer Science}, Volume = {20}, ANNOTE = {} } @article{loopingparsers, AUTHOR = {E. Soisalon-{S}oininen and J. Tarhio}, TITLE = {Looping {LR} parsers}, JOURNAL = {Information Processing Letters}, NUMBER = {26}, YEAR = {1987/88}, PAGES = {251-253} } @book{Starke, AUTHOR = {{P. H.} Starke}, TITLE = {Abstrakte Automaten}, PUBLISHER = {VEB-Verlag}, ADDRESS = {Berlin}, Jahr = {1969}, ANNOTE = {} } % ----- T ----- @book{Tofte, AUTHOR = {Mads Tofte}, TITLE = {Compiler Generators : What they can do, what they might do, and what they will probably never do}, PUBLISHER = {Springer Verlag}, SERIES = {EATCS Monographs on Theoretical Computer Science}, YEAR = {1990}, ANNOTE = {} } @book{Tomita, author = {Masaru Tomita}, title = {Efficient Parsing for Natural Language}, publisher = {Kluwer Academic Publishers}, address = {Boston}, year = {1986}}} % ----- V ----- @article{Veelenturf, AUTHOR = {{L. P. J.} Veelenturf}, TITLE = {Conversion of Regular Expressions into Minimal State Diagrams}, JOURNAL = {Digital Process}, YEAR = {1977}, VOLUME = {3}, PAGES = {107-120}, ANNOTE = {} } % ----- W ----- @article{Watt, AUTHOR = {D. A. Watt}, TITLE = {The parsing problem for affix grammars}, JOURNAL = {Acta Informatica}, YEAR = {1977}, VOLUME = {8}, PAGES = {1-20}, ANNOTE = {affix grammars can handle the declare before use problem} } @book{WaiteGoos, AUTHOR = {William M. Waite and Gerhard Goos}, TITLE = {Compiler Construction}, PUBLISHER = {Springer-Verlag}, ADDRESS = {New York}, YEAR = {1984}, ANNOTE = {Biblia argentus (The silver Bible)} } @article{Warren-Memo, author = {David S. Warren}, title = {{Memoing for Logic Programs}}, journal = cacm, year = {1992}, volume = {35}, number = {1}, pages = {93--111}} @ARTICLE{Wegner, KEY = "Wegner 80", AUTHOR = "Michael Lutz Wegner", TITLE = "On Parsing Two-Level Grammars", JOURNAL = "Acta Informatica", VOLUME = "14", YEAR = "1980", PAGES = "175-193", ANNOTE = ""} @techreport{DWW2, AUTHOR = {Debora Weber-Wulff}, TITLE = {A (v{W})-Grammar for Concrete {PL$_0$} Syntax and Parser Correctness}, INSTITUTION = {ProCoS}, ADDRESS = {Kiel}, MONTH = {April}, YEAR = {1990}, NUMBER = {DWW 2}, ANNOTE = {} } @book{Wilhelm, AUTHOR = {Reinhard Wilhelm and Dieter Maurer}, TITLE = {\"Ubersetzerbau. Theorie, Konstruktion, Generierung}, PUBLISHER = {Springer Verlag}, ADDRESS = {Berlin, Heidelberg}, YEAR = {1992} } % ------ to be sorted in @string{eacl = " Conference of the European Chapter of the Association for Computational Linguistics, Proceedings of the Conference"} @inproceedings{NE93b, author = "M.J. Nederhof", title = "Generalized Left-Corner Parsing", booktitle = "Sixth" # eacl, address = "Utrecht, The Netherlands", pages = {305--314}, month = apr, year = 1993} @string{acmtoplas = "ACM Transactions on Programming Languages and Systems"} @article{LE90, author = "H. Leiss", title = "On {K}ilbury's Modification of {E}arley's Algorithm", journal = acmtoplas, volume = 12, number = 4, month = oct, pages = {610--640}, year = 1990}