\relax 
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {1}Introduction}{1}}
\citation{OBBT89,BTBN91,Trind91,MaSc91b}
\citation{S*92,SSS88,PiTu93}
\citation{SQLISO}
\citation{SFL83}
\citation{BTBN91}
\citation{Naqv89}
\citation{Card93}
\citation{Matt93}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {1}{\ignorespaces The syntax-extension scenario}}{3}}
\newlabel{Fig:Grammar-Scenario}{{1}{3}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {2}Overview}{3}}
\newlabel{Sec:Overview}{{2}{3}}
\citation{Trind91}
\citation{KeRi77}
\citation{ASU87}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {3}Grammar Definitions}{5}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {2}{\ignorespaces Definition of a concrete syntax for the lambda calculus}}{5}}
\newlabel{Fig:Lambda-Syntax}{{2}{5}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.1}Initial Grammar Definitions}{5}}
\newlabel{Sec:Initial}{{3.1}{5}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.2}Incremental Grammar Definitions}{7}}
\newlabel{Sec:Incremental}{{3.2}{7}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.3}Pattern-based Action Definitions}{8}}
\newlabel{Sec:Pattern}{{3.3}{8}}
\citation{OBBT89}
\citation{Trind91}
\citation{StSh91,SSS88}
\newlabel{Keyword:Global-Vars}{{3.3}{10}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {3.4}Further Examples: Query Notations}{10}}
\newlabel{Sec:Examples}{{3.4}{10}}
\newlabel{Keyword:SQL}{{3.4}{11}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {4}Formalizing Grammars and Parsers}{12}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.1}Static Typing of Grammar Definitions}{12}}
\newlabel{Sec:Typing}{{4.1}{12}}
\@writefile{toc}{\string\contentsline\space {subsection}{\string\numberline\space {4.2}Parsing and Term Construction}{15}}
\newlabel{Sec:Parsing-Terms}{{4.2}{15}}
\@writefile{lof}{\string\contentsline\space {figure}{\string\numberline\space {3}{\ignorespaces Parse rules for terms}}{16}}
\newlabel{Fig:Parsing-Terms}{{3}{16}}
\citation{Matt93}
\newlabel{Theo:1}{{1}{17}}
\newlabel{Coro:1}{{1}{17}}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {5}An Extensible Parser Package}{18}}
\newlabel{Sec:Package}{{5}{18}}
\citation{SMA91,S*92,SSF92,Kirb92}
\citation{MaRa92}
\citation{K*86,Kohl86}
\citation{Griff88}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {6}Comparison with Related Work}{19}}
\newlabel{Sec:Comparison}{{6}{19}}
\citation{BoAr92}
\bibstyle{florian}
\bibdata{../bib/florian}
\bibcite{ASU87}{ASU87}
\bibcite{BoAr92}{BA92}
\bibcite{BTBN91}{BTBN91}
\bibcite{Card93}{Car93}
\bibcite{Griff88}{Gri88}
\bibcite{K*86}{KFFD92}
\bibcite{Kirb92}{Kir92}
\bibcite{Kohl86}{Koh86}
\@writefile{toc}{\string\contentsline\space {section}{\string\numberline\space {7}Concluding Remarks}{20}}
\bibcite{KeRi77}{KR77}
\bibcite{Matt93}{Mat93}
\bibcite{MaRa92}{MR92}
\bibcite{MaSc91b}{MS91}
\bibcite{Naqv89}{Naq89}
\bibcite{OBBT89}{OBBT89}
\bibcite{PiTu93}{PT93}
\bibcite{SFL83}{SFL83}
\bibcite{SMA91}{SMM91}
\bibcite{SQLISO}{SQL87}
\bibcite{StSh91}{SS91}
\bibcite{SSF92}{SSF92}
\bibcite{SSS88}{SSS88}
\bibcite{S*92}{SSS{$^{+}$}92}
\bibcite{Trind91}{Tri91}