deliverables/report/report.tex

   1 \documentclass{article}
   2
   3 \usepackage{listings}
   4 \usepackage{clean}
   5 \usepackage{spl}
   6 \usepackage{hyperref}
   7 \usepackage[a4paper]{geometry}
   8 \usepackage{proof}
   9
  10 \title{Compiler Construction: SPL Compiler}
  11 \author{Pim Jager\and Mart Lubbers}
  12 \date{\today}
  13
  14 \lstset{%
  15         basicstyle=\footnotesize\ttfamily,
  16         breaklines,
  17         captionpos=b,
  18         frame=L
  19 }
  20
  21 \newcommand{\SPLC}{\texttt{SPLC}}
  22 \newcommand{\SPL}{\texttt{SPL}}
  23 \newcommand{\SSM}{\texttt{SSM}}
  24 \newcommand{\Yard}{\textsc{Yard}}
  25 \newcommand{\AST}{\emph{AST}}
  26 \newcommand{\ADT}{\emph{ADT}}
  27 \newcommand{\Clean}{\emph{Clean}}
  28
  29 \let\tt\texttt
  30
  31 \begin{document}
  32 \maketitle
  33 \tableofcontents
  34 \newpage
  35
  36 \input{intro.tex}
  37
  38 \input{pars.tex}
  39
  40 \input{sem.tex}
  41
  42 \input{gen.tex}
  43
  44 \input{eval.tex}
  45
  46 \newpage
  47 \section{Appendices}
  48 \subsection{Grammar}
  49 \lstinputlisting[label={lst:grammar}]{../../grammar/grammar.txt}
  50
  51 \newpage
  52 \subsection{Abstract Syntax Tree}
  53 \lstinputlisting[
  54         label={lst:ast},
  55         language=Clean,
  56         firstline=6,
  57         lastline=42]{../../AST.dcl}
  58
  59 \newpage
  60 \subsection{Inference rules} \label{sec:infRules}
  61 \input{infRules.tex}
  62
  63 \end{document}