s1210629013@55466
|
1 |
\documentclass[master,english]{hgbthesis}
|
s1210629013@55466
|
2 |
% Zulässige Class Options:
|
s1210629013@55466
|
3 |
% Typ der Arbeit: diplom, master (default), bachelor, praktikum
|
s1210629013@55466
|
4 |
% Hauptsprache: german (default), english
|
s1210629013@55466
|
5 |
%%------------------------------------------------------------
|
s1210629013@55466
|
6 |
|
s1210629013@55466
|
7 |
% TODO !!! amdahl & gustafson: set samples to 2000+
|
s1210629013@55466
|
8 |
% TODO !!! edit: appendix b cd-rom / dvd !?
|
s1210629013@55466
|
9 |
% TODO !!! appendix b add Repo date
|
s1210629013@55466
|
10 |
% TODO !!! render all images to png
|
s1210629013@55466
|
11 |
% TODO !!! README windows line breaks!
|
s1210629013@55466
|
12 |
% TODO !!! "Overfull" grep
|
s1210629013@55466
|
13 |
|
s1210629013@55466
|
14 |
\graphicspath{{images/}} % wo liegen die Bilder?
|
s1210629013@55466
|
15 |
\bibliography{literature} % Angabe der BibTeX-Datei, % utf8-change
|
s1210629013@55466
|
16 |
|
s1210629013@55466
|
17 |
\usepackage{tikz,pgfplots,pgfplotstable}
|
s1210629013@55466
|
18 |
\pgfplotsset{compat=1.9}
|
s1210629013@55466
|
19 |
\usetikzlibrary{positioning}
|
s1210629013@55466
|
20 |
|
s1210629013@55466
|
21 |
\usepackage{listings} % syntax highlighting
|
s1210629013@55466
|
22 |
|
s1210629013@55466
|
23 |
\definecolor{color1}{HTML}{a40000}
|
s1210629013@55466
|
24 |
\definecolor{color2}{HTML}{3465a4}
|
s1210629013@55466
|
25 |
\definecolor{color3}{HTML}{ce5c00}
|
s1210629013@55466
|
26 |
\definecolor{color4}{HTML}{4e9a06}
|
s1210629013@55466
|
27 |
\definecolor{color5}{HTML}{eeeeec}
|
s1210629013@55466
|
28 |
\definecolor{color6}{HTML}{2e3436}
|
s1210629013@55466
|
29 |
|
s1210629013@55466
|
30 |
\lstnewenvironment{MLCode}[1][] % code environment for ML
|
s1210629013@55466
|
31 |
{\lstset{
|
s1210629013@55466
|
32 |
language=ML,
|
s1210629013@55466
|
33 |
keywordstyle=\bfseries\color{color1},
|
s1210629013@55466
|
34 |
%identifierstyle=\ttfamily,
|
s1210629013@55466
|
35 |
commentstyle=\color{color2},
|
s1210629013@55466
|
36 |
stringstyle=\color{color3},
|
s1210629013@55466
|
37 |
showstringspaces=false,
|
s1210629013@55466
|
38 |
basicstyle=\ttfamily\footnotesize,
|
s1210629013@55466
|
39 |
numberstyle=\tiny\ttfamily\color{color6},
|
s1210629013@55466
|
40 |
numbers=left,
|
s1210629013@55466
|
41 |
numbersep=10pt,
|
s1210629013@55466
|
42 |
tabsize=2,
|
s1210629013@55466
|
43 |
breaklines=true,
|
s1210629013@55466
|
44 |
%prebreak = \raisebox{0ex}[0ex][0ex]{\ensuremath{\hookleftarrow}},
|
s1210629013@55466
|
45 |
breakatwhitespace=false,
|
s1210629013@55466
|
46 |
%aboveskip={1.5\baselineskip},
|
s1210629013@55466
|
47 |
columns=fixed,
|
s1210629013@55466
|
48 |
upquote=true,
|
s1210629013@55466
|
49 |
extendedchars=true,
|
s1210629013@55466
|
50 |
% frame=single,
|
s1210629013@55466
|
51 |
backgroundcolor=\color{color5},
|
s1210629013@55466
|
52 |
%literate=%
|
s1210629013@55466
|
53 |
% *{0}{{{\color[rgb]{1,0,0}0}}}1
|
s1210629013@55466
|
54 |
% {1}{{{\color[rgb]{1,0,0}1}}}1
|
s1210629013@55466
|
55 |
% {2}{{{\color[rgb]{1,0,0}2}}}1
|
s1210629013@55466
|
56 |
% {3}{{{\color[rgb]{1,0,0}3}}}1
|
s1210629013@55466
|
57 |
% {4}{{{\color[rgb]{1,0,0}4}}}1
|
s1210629013@55466
|
58 |
% {5}{{{\color[rgb]{1,0,0}5}}}1
|
s1210629013@55466
|
59 |
% {6}{{{\color[rgb]{1,0,0}6}}}1
|
s1210629013@55466
|
60 |
% {7}{{{\color[rgb]{1,0,0}7}}}1
|
s1210629013@55466
|
61 |
% {8}{{{\color[rgb]{1,0,0}8}}}1
|
s1210629013@55466
|
62 |
% {9}{{{\color[rgb]{1,0,0}9}}}1
|
s1210629013@55466
|
63 |
escapeinside={/+}{+/},% makes "/+" and "+/" available for Latex escapes (labels etc.)
|
s1210629013@55466
|
64 |
#1
|
s1210629013@55466
|
65 |
}}
|
s1210629013@55466
|
66 |
{}
|
s1210629013@55466
|
67 |
\lstdefinelanguage{Scala}{
|
s1210629013@55466
|
68 |
morekeywords={abstract,case,catch,class,def,%
|
s1210629013@55466
|
69 |
do,else,extends,false,final,finally,%
|
s1210629013@55466
|
70 |
for,if,implicit,import,match,mixin,%
|
s1210629013@55466
|
71 |
new,null,object,override,package,%
|
s1210629013@55466
|
72 |
private,protected,requires,return,sealed,%
|
s1210629013@55466
|
73 |
super,this,throw,trait,true,try,%
|
s1210629013@55466
|
74 |
type,val,var,while,with,yield},
|
s1210629013@55466
|
75 |
otherkeywords={=>,<-,<\%,<:,>:,\#,@},
|
s1210629013@55466
|
76 |
sensitive=true,
|
s1210629013@55466
|
77 |
morecomment=[l]{//},
|
s1210629013@55466
|
78 |
morecomment=[n]{/*}{*/},
|
s1210629013@55466
|
79 |
morestring=[b]",
|
s1210629013@55466
|
80 |
morestring=[b]',
|
s1210629013@55466
|
81 |
morestring=[b]"""
|
s1210629013@55466
|
82 |
}
|
s1210629013@55466
|
83 |
\lstnewenvironment{ScalaCode}[2][] % code environment for Scala
|
s1210629013@55466
|
84 |
{\noindent\minipage{\linewidth}
|
s1210629013@55466
|
85 |
\lstset{
|
s1210629013@55466
|
86 |
language=Scala,
|
s1210629013@55466
|
87 |
keywordstyle=\bfseries\color{color1},
|
s1210629013@55466
|
88 |
%identifierstyle=\ttfamily,
|
s1210629013@55466
|
89 |
commentstyle=\color{color2},
|
s1210629013@55466
|
90 |
stringstyle=\color{color3},
|
s1210629013@55466
|
91 |
showstringspaces=false,
|
s1210629013@55466
|
92 |
basicstyle=\ttfamily\footnotesize,
|
s1210629013@55466
|
93 |
numberstyle=\tiny\ttfamily\color{color6},
|
s1210629013@55466
|
94 |
numbers=left,
|
s1210629013@55466
|
95 |
numbersep=10pt,
|
s1210629013@55466
|
96 |
tabsize=2,
|
s1210629013@55466
|
97 |
breaklines=true,
|
s1210629013@55466
|
98 |
prebreak = \raisebox{0ex}[0ex][0ex]{\ensuremath{\hookleftarrow}},
|
s1210629013@55466
|
99 |
breakatwhitespace=false,
|
s1210629013@55466
|
100 |
aboveskip={1.5\baselineskip},
|
s1210629013@55466
|
101 |
columns=fixed,
|
s1210629013@55466
|
102 |
upquote=true,
|
s1210629013@55466
|
103 |
extendedchars=true,
|
s1210629013@55466
|
104 |
% frame=single,
|
s1210629013@55466
|
105 |
backgroundcolor=\color{color5},
|
s1210629013@55466
|
106 |
%literate=%
|
s1210629013@55466
|
107 |
% *{0}{{{\color[rgb]{1,0,0}0}}}1
|
s1210629013@55466
|
108 |
% {1}{{{\color[rgb]{1,0,0}1}}}1
|
s1210629013@55466
|
109 |
% {2}{{{\color[rgb]{1,0,0}2}}}1
|
s1210629013@55466
|
110 |
% {3}{{{\color[rgb]{1,0,0}3}}}1
|
s1210629013@55466
|
111 |
% {4}{{{\color[rgb]{1,0,0}4}}}1
|
s1210629013@55466
|
112 |
% {5}{{{\color[rgb]{1,0,0}5}}}1
|
s1210629013@55466
|
113 |
% {6}{{{\color[rgb]{1,0,0}6}}}1
|
s1210629013@55466
|
114 |
% {7}{{{\color[rgb]{1,0,0}7}}}1
|
s1210629013@55466
|
115 |
% {8}{{{\color[rgb]{1,0,0}8}}}1
|
s1210629013@55466
|
116 |
% {9}{{{\color[rgb]{1,0,0}9}}}1
|
s1210629013@55466
|
117 |
label={#1},
|
s1210629013@55466
|
118 |
caption={#2},
|
s1210629013@55466
|
119 |
captionpos=b,
|
s1210629013@55466
|
120 |
escapeinside={/+}{+/}% makes "/+" and "+/" available for Latex escapes (labels etc.)
|
s1210629013@55466
|
121 |
}}
|
s1210629013@55466
|
122 |
{\endminipage}
|
s1210629013@55466
|
123 |
\renewcommand{\lstlistingname}{Snippet} % Caption name
|
s1210629013@55466
|
124 |
|
s1210629013@55466
|
125 |
%\newcommand{\isac}{\texorpdfstring{$\mathcal{I}\mkern-2mu\mathcal{S}\mkern-5mu\mathcal{AC}$}{Isac}}
|
s1210629013@55466
|
126 |
%\def\sisac{\texorpdfstring{{\footnotesize \isac{}}}{Isac}}
|
s1210629013@55466
|
127 |
\newcommand{\isac}{\textit{Isac}}
|
s1210629013@55466
|
128 |
\newcommand{\isabelle}{\textit{Isabelle}}
|
s1210629013@55466
|
129 |
\newcommand{\imlcode}[1]{{\ttfamily \begin{tabbing}#1\end{tabbing}}}
|
s1210629013@55466
|
130 |
|
s1210629013@55466
|
131 |
%%%----------------------------------------------------------
|
s1210629013@55466
|
132 |
\begin{document}
|
s1210629013@55466
|
133 |
%%%----------------------------------------------------------
|
s1210629013@55466
|
134 |
|
s1210629013@55466
|
135 |
% Einträge für ALLE Arbeiten: --------------------------------
|
s1210629013@55466
|
136 |
\title{Introducing Parallelism in an Educational Mathematics System Developed in a Functional Programming Language}
|
s1210629013@55466
|
137 |
\author{Mathias Lehnfeld}
|
s1210629013@55466
|
138 |
\studiengang{Interactive Media}
|
s1210629013@55466
|
139 |
\studienort{Hagenberg}
|
s1210629013@55466
|
140 |
\abgabedatum{2014}{06}{18} % {YYYY}{MM}{DD}
|
s1210629013@55466
|
141 |
\betreuer{Mag. Volker Christian} % oder \betreuerin{..}
|
s1210629013@55466
|
142 |
\betreuer{Dr. Walther Neuper} % oder \betreuerin{..}
|
s1210629013@55466
|
143 |
\firma{
|
s1210629013@55466
|
144 |
Institut für Informationssysteme und Computer Medien (IICM)\\
|
s1210629013@55466
|
145 |
Fakultät für Informatik - Technische Universität Graz\\
|
s1210629013@55466
|
146 |
\\
|
s1210629013@55466
|
147 |
Inffeldgasse 16c\\
|
s1210629013@55466
|
148 |
8010 Graz - Österreich - Europa
|
s1210629013@55466
|
149 |
}
|
s1210629013@55466
|
150 |
|
s1210629013@55466
|
151 |
%%%----------------------------------------------------------
|
s1210629013@55466
|
152 |
\frontmatter
|
s1210629013@55466
|
153 |
\maketitle
|
s1210629013@55466
|
154 |
\tableofcontents
|
s1210629013@55466
|
155 |
%%%----------------------------------------------------------
|
s1210629013@55466
|
156 |
|
s1210629013@55466
|
157 |
% \include{declaration}
|
s1210629013@55466
|
158 |
\include{preface}
|
s1210629013@55466
|
159 |
\include{abstract}
|
s1210629013@55466
|
160 |
\include{kurzfassung}
|
s1210629013@55466
|
161 |
|
s1210629013@55466
|
162 |
%%%----------------------------------------------------------
|
s1210629013@55466
|
163 |
\mainmatter % Hauptteil (ab hier arab. Seitenzahlen)
|
s1210629013@55466
|
164 |
%%%----------------------------------------------------------
|
s1210629013@55466
|
165 |
|
s1210629013@55466
|
166 |
\include{introduction}
|
s1210629013@55466
|
167 |
\include{fundamentals}
|
s1210629013@55466
|
168 |
\include{funproglangs_mcsystems}
|
s1210629013@55466
|
169 |
\include{isabelle_isac}
|
s1210629013@55466
|
170 |
\include{conclusion}
|
s1210629013@55466
|
171 |
|
s1210629013@55466
|
172 |
%%%----------------------------------------------------------
|
s1210629013@55466
|
173 |
%%%Anhang
|
s1210629013@55466
|
174 |
\appendix
|
s1210629013@55466
|
175 |
\include{appendix_a}
|
s1210629013@55466
|
176 |
\include{appendix_b}
|
s1210629013@55466
|
177 |
|
s1210629013@55466
|
178 |
%%%----------------------------------------------------------
|
s1210629013@55466
|
179 |
\MakeBibliography
|
s1210629013@55466
|
180 |
%%%----------------------------------------------------------
|
s1210629013@55466
|
181 |
|
s1210629013@55466
|
182 |
%%%Messbox zur Druckkontrolle
|
s1210629013@55466
|
183 |
%\include{messbox}
|
s1210629013@55466
|
184 |
|
s1210629013@55466
|
185 |
\end{document}
|