todo.txt
[cc1516.git] / 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=\ttfamily\footnotesize,
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
28 \let\tt\texttt
29
30 \begin{document}
31 \maketitle
32 \tableofcontents
33 \newpage
34
35 \input{intro.tex}
36
37 \input{pars.tex}
38
39 \input{sem.tex}
40
41 \input{gen.tex}
42
43 \input{ext.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 \end{document}