thesis/thesis.lhs at master · craffit/thesis · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
%-------------------------------------------------------------------------------

\documentclass[11pt,twoside,a4paper]{scrreprt}

%include agda.fmt
%include lhs2TeX.fmt
%include lhs2TeX.sty
%include polycode.fmt
%include colorcode.fmt

%include formatting/general.fmt
%include formatting/haskell.fmt

%-------------------------------------------------------------------------------
%Contains HACKs supprressing warnings for scrreprrt
\usepackage{scrhack}

% For natural deduction
\usepackage{bussproofs}
\usepackage[figuresright]{rotating}

% For encoding
\usepackage[utf8x]{inputenc}

\usepackage{amsmath}
% Use this arrow from amsmath before it is replaced by another package.
\let\rwarrow\rightsquigarrow

\usepackage{amsfonts}

% Use Times Roman as math font
\usepackage{mathptmx}

% Times-like fonts for math (e.g. \Coloneqq)
\usepackage{txfonts}

\usepackage{verbatim}
\usepackage{xcolor}

\usepackage{url}

% For \inferrule
\usepackage{mathpartir}

\usepackage{float}

\usepackage{overlay}

% Theorems
\usepackage{ntheorem}

\usepackage{hyperref}
\usepackage{enumitem}
\usepackage{nameref}

\usepackage{relsize}

%% Command for labelled items

\makeatletter
\def\namedlabel#1#2{\begingroup
   \def\@@currentlabel{#2}%
   \phantomsection\label{#1}\endgroup
}
\makeatother

\theoremstyle{break}
\theorembodyfont{\normalfont}
\newtheorem{defn}{Definition}
\newtheorem{prop}{Property}
\newtheorem{thrm}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{proof}{Proof}
\newtheorem{corollary}{Corollary}
\newtheorem{law}{Law}

\title{A Type-Changing, Semantics-Preserving Program Transformation System}
\date{February 11, 2013}
\author{Bram Schuur \thanks{Msc. Thesis under supervision of Johan Jeuring and Sean Leather}}

\hfuzz=15.002pt

\begin{document}

\maketitle

\begin{abstract}
%include chapters/abstract.lhs
\end{abstract}

\tableofcontents

\chapter{Introduction}
\label{chap:introduciton}
%include chapters/introduction.lhs

\chapter{Type and Transform Systems}
\label{chap:tts}
This chapter introduces the core concepts of type and transform systems. The first section gives two motivating examples of type-changing program transformations which will be used throughout this work.
\section{Motivating Examples}
\label{sec:examples}
%include chapters/examples.lhs

\section{Core Transformation System}
\label{sec:tts}
%include chapters/tts.lhs

\chapter{\texorpdfstring{|(TTS(stlc))|}{TTS stlc}  Preserves the Transformation Properties}
\label{chap:proof}
%include chapters/proof.lhs

\chapter{Mechanical Proof of the Transformation Properties}
\label{chap:mechanical}
%include chapters/mechanical.lagda

\chapter{Extensions to the TTS System}
\label{chap:extensions}
%include chapters/ttse.lhs

\chapter{Future Work}
\label{chap:future}
%include chapters/future.lhs

\chapter{Conclusion}
\label{chap:conclusion}
%include chapters/conclusion.lhs

%-------------------------------------------------------------------------------
\nocite{*}
\bibliography{thesis}
\bibliographystyle{alpha}


\end{document}