support/tools/Burg/Doc/doc.aux

   1 \relax
   2 \bibstyle{alpha}
   3 \citation{aho-twig-toplas}
   4 \citation{appel-87}
   5 \citation{balachandran-complang}
   6 \citation{kron-phd}
   7 \citation{hoffmann-jacm}
   8 \citation{hatcher-popl}
   9 \citation{chase-popl}
  10 \citation{pelegri-popl}
  11 \citation{pelegri-phd}
  12 \citation{wilhelm-tr}
  13 \citation{henry-budp}
  14 \citation{fraser-henry-spe-91}
  15 \citation{proebsting-91}
  16 \@writefile{toc}{\contentsline {section}{\numberline {1}Overview}{1}}
  17 \@writefile{toc}{\contentsline {section}{\numberline {2}Input}{1}}
  18 \@writefile{lof}{\contentsline {figure}{\numberline {1}{\ignorespaces A Sample Tree Grammar}}{2}}
  19 \newlabel{fig-tree-grammar}{{1}{2}}
  20 \@writefile{lof}{\contentsline {figure}{\numberline {2}{\ignorespaces EBNF Grammar for Tree Grammars for {\sc  Burg}\ }}{3}}
  21 \newlabel{fig-grammar-grammar}{{2}{3}}
  22 \@writefile{toc}{\contentsline {section}{\numberline {3}Output}{3}}
  23 \citation{aho-johnson-dp-classic}
  24 \citation{fraser-henry-spe-91}
  25 \citation{henry-budp}
  26 \citation{pelegri-phd}
  27 \@writefile{toc}{\contentsline {section}{\numberline {4}Debugging}{6}}
  28 \@writefile{toc}{\contentsline {section}{\numberline {5}Running {\sc  Burg}\ }{6}}
  29 \newlabel{sec-man-page}{{5}{6}}
  30 \citation{pelegri-popl}
  31 \citation{henry-budp}
  32 \citation{balachandran-complang}
  33 \citation{proebsting-91}
  34 \@writefile{lof}{\contentsline {figure}{\numberline {3}{\ignorespaces A Diverging Tree Grammar}}{7}}
  35 \newlabel{fig-diverge-grammar}{{3}{7}}
  36 \@writefile{toc}{\contentsline {section}{\numberline {6}Acknowledgements}{7}}
  37 \bibcite{aho-twig-toplas}{AGT89}
  38 \bibcite{aho-johnson-dp-classic}{AJ76}
  39 \bibcite{appel-87}{App87}
  40 \bibcite{balachandran-complang}{BDB90}
  41 \bibcite{wilhelm-tr}{BMW87}
  42 \bibcite{chase-popl}{Cha87}
  43 \bibcite{fraser-henry-spe-91}{FH91}
  44 \bibcite{hatcher-popl}{HC86}
  45 \bibcite{henry-budp}{Hen89}
  46 \bibcite{hoffmann-jacm}{HO82}
  47 \bibcite{kron-phd}{Kro75}
  48 \bibcite{pelegri-phd}{PL87}
  49 \bibcite{pelegri-popl}{PLG88}
  50 \bibcite{proebsting-91}{Pro91}