7 \title[cc1516: Semantic analysis
]{SPLC
}
8 \subtitle{\texttt{<splc>~::= <spl> <parser> `,' <lexer> `and' <compiler>
}}
9 \author[P. Jager, M. Lubbers
]{Pim Jager
\inst{1}\and Mart Lubbers
\inst{1}}
10 \institute[Radboud University
]{%
12 Computer Science: Software Science\\
15 \subject{Code generation
}
19 basicstyle=
\ttfamily\footnotesize,
24 \usecolortheme{beaver
}