\frontmatter

\begin{titlepage}%

%%
%% Official first page
%%

\begin{center}%
   {\bf \LARGE Inference of Program Properties with Attribute Grammars, Revisited\par}%
    \vskip 4cm
    {\bf \Large Met attributtengrammatica's heen, met programma-eigenschappen terug\par}%
    \vskip 0.5cm
    {\Large (met een samenvatting in het Nederlands)\par}%

    \vskip 4cm
{\large \sc Proefschrift}
\vskip 1.0cm
\begin{minipage}[c]{\textwidth}
ter verkrijging van de graad van doctor aan de Universiteit Utrecht
op gezag van de rector magnificus, prof.dr.~G.J. van der Zwaan, ingevolge
het besluit van het college voor promoties in het openbaar te verdedigen
op maandag 9 januari 2012 des middags te 12.45 uur
\end{minipage}
    \vskip 0.5cm
door
    \vskip 0.5cm
{\Large \bf Adriaan Middelkoop\par}%
    \vskip 0.5cm
{\Large geboren op 8 februari 1983 te Gorinchem\par}%
\end{center}\par

 \vfill

\end{titlepage}


%%
%% Official back side
%%

\pagestyle{empty}  %%% no page numbers
\newpage
\noindent
\begin{tabular}{ll}
Promotor:    & Prof.dr. S. D. Swierstra\\
Co-promotor: & Dr. A. Dijkstra \\
\end{tabular}

\vfill
      \noindent The work in this thesis has been carried out under the
      auspices of the research school IPA (Institute for Programming
      research and Algorithmics) and was supported by Microsoft Research
      through its European PhD Scholarship Programme.

\vskip 0.5cm \noindent
\begin{tabular}{ll}
Author:      & Adriaan Middelkoop, 2011 \\
Printed by:  & W\"{o}hrmann Print Service \\
Cover photo: & Fushimi Inari by St\'{e}fan~Le~D\^{u}, 2008 \\
\end{tabular}


%if False

%%
%% IPA-logo page
%%

\newpage

\hspace{1em}

\vfill

\begin{center}
\includegraphics{ipalogo.pdf}
\end{center}

\noindent
The work in this thesis has been carried out under the
auspices of the research school IPA.
%endif


\newpage
\pagestyle{headings}

\mainmatter