deliverables/report/report.tex

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