
s1210629013@55466: \documentclass[master,english]{hgbthesis}
s1210629013@55466: % Zulässige Class Options: 
s1210629013@55466: %   Typ der Arbeit: diplom, master (default), bachelor, praktikum 
s1210629013@55466: %   Hauptsprache: german (default), english
s1210629013@55466: %%------------------------------------------------------------
s1210629013@55466: 
s1210629013@55466: % TODO !!! amdahl & gustafson: set samples to 2000+
s1210629013@55466: % TODO !!! edit: appendix b cd-rom / dvd !?
s1210629013@55466: % TODO !!! appendix b add Repo date
s1210629013@55466: % TODO !!! render all images to png
s1210629013@55466: % TODO !!! README windows line breaks!
s1210629013@55466: % TODO !!! "Overfull" grep
s1210629013@55466: 
s1210629013@55466: \graphicspath{{images/}} % wo liegen die Bilder? 
s1210629013@55466: \bibliography{literature} % Angabe der BibTeX-Datei, % utf8-change
s1210629013@55466: 
s1210629013@55466: \usepackage{tikz,pgfplots,pgfplotstable}
s1210629013@55466: \pgfplotsset{compat=1.9}
s1210629013@55466: \usetikzlibrary{positioning}
s1210629013@55466: 
s1210629013@55466: \usepackage{listings} % syntax highlighting
s1210629013@55466: 
s1210629013@55466: \definecolor{color1}{HTML}{a40000}
s1210629013@55466: \definecolor{color2}{HTML}{3465a4}
s1210629013@55466: \definecolor{color3}{HTML}{ce5c00}
s1210629013@55466: \definecolor{color4}{HTML}{4e9a06}
s1210629013@55466: \definecolor{color5}{HTML}{eeeeec}
s1210629013@55466: \definecolor{color6}{HTML}{2e3436}
s1210629013@55466: 
s1210629013@55466: \lstnewenvironment{MLCode}[1][] % code environment for ML
s1210629013@55466: {\lstset{
s1210629013@55466:     language=ML,
s1210629013@55466:     keywordstyle=\bfseries\color{color1},
s1210629013@55466:     %identifierstyle=\ttfamily,
s1210629013@55466:     commentstyle=\color{color2},
s1210629013@55466:     stringstyle=\color{color3},
s1210629013@55466:     showstringspaces=false,
s1210629013@55466:     basicstyle=\ttfamily\footnotesize,
s1210629013@55466:     numberstyle=\tiny\ttfamily\color{color6},
s1210629013@55466:     numbers=left,
s1210629013@55466:     numbersep=10pt,
s1210629013@55466:     tabsize=2,
s1210629013@55466:     breaklines=true,
s1210629013@55466:     %prebreak = \raisebox{0ex}[0ex][0ex]{\ensuremath{\hookleftarrow}},
s1210629013@55466:     breakatwhitespace=false,
s1210629013@55466:     %aboveskip={1.5\baselineskip},
s1210629013@55466:     columns=fixed,
s1210629013@55466:     upquote=true,
s1210629013@55466:     extendedchars=true,
s1210629013@55466:     % frame=single,
s1210629013@55466:     backgroundcolor=\color{color5},
s1210629013@55466:     %literate=%
s1210629013@55466:     % *{0}{{{\color[rgb]{1,0,0}0}}}1
s1210629013@55466:     %  {1}{{{\color[rgb]{1,0,0}1}}}1
s1210629013@55466:     %  {2}{{{\color[rgb]{1,0,0}2}}}1
s1210629013@55466:     %  {3}{{{\color[rgb]{1,0,0}3}}}1
s1210629013@55466:     %  {4}{{{\color[rgb]{1,0,0}4}}}1
s1210629013@55466:     %  {5}{{{\color[rgb]{1,0,0}5}}}1
s1210629013@55466:     %  {6}{{{\color[rgb]{1,0,0}6}}}1
s1210629013@55466:     %  {7}{{{\color[rgb]{1,0,0}7}}}1
s1210629013@55466:     %  {8}{{{\color[rgb]{1,0,0}8}}}1
s1210629013@55466:     %  {9}{{{\color[rgb]{1,0,0}9}}}1
s1210629013@55466:     escapeinside={/+}{+/},% makes "/+" and "+/" available for Latex escapes (labels etc.)
s1210629013@55466:     #1
s1210629013@55466: }}
s1210629013@55466: {}
s1210629013@55466: \lstdefinelanguage{Scala}{
s1210629013@55466:   morekeywords={abstract,case,catch,class,def,%
s1210629013@55466:     do,else,extends,false,final,finally,%
s1210629013@55466:     for,if,implicit,import,match,mixin,%
s1210629013@55466:     new,null,object,override,package,%
s1210629013@55466:     private,protected,requires,return,sealed,%
s1210629013@55466:     super,this,throw,trait,true,try,%
s1210629013@55466:     type,val,var,while,with,yield},
s1210629013@55466:   otherkeywords={=>,<-,<\%,<:,>:,\#,@},
s1210629013@55466:   sensitive=true,
s1210629013@55466:   morecomment=[l]{//},
s1210629013@55466:   morecomment=[n]{/*}{*/},
s1210629013@55466:   morestring=[b]",
s1210629013@55466:   morestring=[b]',
s1210629013@55466:   morestring=[b]"""
s1210629013@55466: }
s1210629013@55466: \lstnewenvironment{ScalaCode}[2][] % code environment for Scala
s1210629013@55466: {\noindent\minipage{\linewidth}
s1210629013@55466:   \lstset{
s1210629013@55466:     language=Scala,
s1210629013@55466:     keywordstyle=\bfseries\color{color1},
s1210629013@55466:     %identifierstyle=\ttfamily,
s1210629013@55466:     commentstyle=\color{color2},
s1210629013@55466:     stringstyle=\color{color3},
s1210629013@55466:     showstringspaces=false,
s1210629013@55466:     basicstyle=\ttfamily\footnotesize,
s1210629013@55466:     numberstyle=\tiny\ttfamily\color{color6},
s1210629013@55466:     numbers=left,
s1210629013@55466:     numbersep=10pt,
s1210629013@55466:     tabsize=2,
s1210629013@55466:     breaklines=true,
s1210629013@55466:     prebreak = \raisebox{0ex}[0ex][0ex]{\ensuremath{\hookleftarrow}},
s1210629013@55466:     breakatwhitespace=false,
s1210629013@55466:     aboveskip={1.5\baselineskip},
s1210629013@55466:     columns=fixed,
s1210629013@55466:     upquote=true,
s1210629013@55466:     extendedchars=true,
s1210629013@55466:     % frame=single,
s1210629013@55466:     backgroundcolor=\color{color5},
s1210629013@55466:     %literate=%
s1210629013@55466:     % *{0}{{{\color[rgb]{1,0,0}0}}}1
s1210629013@55466:     %  {1}{{{\color[rgb]{1,0,0}1}}}1
s1210629013@55466:     %  {2}{{{\color[rgb]{1,0,0}2}}}1
s1210629013@55466:     %  {3}{{{\color[rgb]{1,0,0}3}}}1
s1210629013@55466:     %  {4}{{{\color[rgb]{1,0,0}4}}}1
s1210629013@55466:     %  {5}{{{\color[rgb]{1,0,0}5}}}1
s1210629013@55466:     %  {6}{{{\color[rgb]{1,0,0}6}}}1
s1210629013@55466:     %  {7}{{{\color[rgb]{1,0,0}7}}}1
s1210629013@55466:     %  {8}{{{\color[rgb]{1,0,0}8}}}1
s1210629013@55466:     %  {9}{{{\color[rgb]{1,0,0}9}}}1
s1210629013@55466:     label={#1},
s1210629013@55466:     caption={#2},
s1210629013@55466:     captionpos=b,
s1210629013@55466:     escapeinside={/+}{+/}% makes "/+" and "+/" available for Latex escapes (labels etc.)
s1210629013@55466: }}
s1210629013@55466: {\endminipage}
s1210629013@55466: \renewcommand{\lstlistingname}{Snippet} % Caption name
s1210629013@55466: 
s1210629013@55466: %\newcommand{\isac}{\texorpdfstring{$\mathcal{I}\mkern-2mu\mathcal{S}\mkern-5mu\mathcal{AC}$}{Isac}}
s1210629013@55466: %\def\sisac{\texorpdfstring{{\footnotesize \isac{}}}{Isac}}
s1210629013@55466: \newcommand{\isac}{\textit{Isac}}
s1210629013@55466: \newcommand{\isabelle}{\textit{Isabelle}}
s1210629013@55466: \newcommand{\imlcode}[1]{{\ttfamily \begin{tabbing}#1\end{tabbing}}}
s1210629013@55466: 
s1210629013@55466: %%%----------------------------------------------------------
s1210629013@55466: \begin{document}
s1210629013@55466: %%%----------------------------------------------------------
s1210629013@55466: 
s1210629013@55466: % Einträge für ALLE Arbeiten: --------------------------------
s1210629013@55466: \title{Introducing Parallelism in an Educational Mathematics System Developed in a Functional Programming Language}
s1210629013@55466: \author{Mathias Lehnfeld}
s1210629013@55466: \studiengang{Interactive Media}
s1210629013@55466: \studienort{Hagenberg}
s1210629013@55466: \abgabedatum{2014}{06}{18} % {YYYY}{MM}{DD}
s1210629013@55466: \betreuer{Mag. Volker Christian} % oder \betreuerin{..}
s1210629013@55466: \betreuer{Dr. Walther Neuper} % oder \betreuerin{..}
s1210629013@55466: \firma{
s1210629013@55466:    Institut für Informationssysteme und Computer Medien (IICM)\\
s1210629013@55466:    Fakultät für Informatik - Technische Universität Graz\\
s1210629013@55466:    \\
s1210629013@55466:    Inffeldgasse 16c\\
s1210629013@55466:    8010 Graz - Österreich - Europa
s1210629013@55466: }
s1210629013@55466: 
s1210629013@55466: %%%----------------------------------------------------------
s1210629013@55466: \frontmatter
s1210629013@55466: \maketitle
s1210629013@55466: \tableofcontents
s1210629013@55466: %%%----------------------------------------------------------
s1210629013@55466: 
s1210629013@55466: % \include{declaration}
s1210629013@55466: \include{preface}
s1210629013@55466: \include{abstract}
s1210629013@55466: \include{kurzfassung}
s1210629013@55466: 
s1210629013@55466: %%%----------------------------------------------------------
s1210629013@55466: \mainmatter         % Hauptteil (ab hier arab. Seitenzahlen)
s1210629013@55466: %%%----------------------------------------------------------
s1210629013@55466: 
s1210629013@55466: \include{introduction}
s1210629013@55466: \include{fundamentals}
s1210629013@55466: \include{funproglangs_mcsystems}
s1210629013@55466: \include{isabelle_isac}
s1210629013@55466: \include{conclusion}
s1210629013@55466: 
s1210629013@55466: %%%----------------------------------------------------------
s1210629013@55466: %%%Anhang
s1210629013@55466: \appendix
s1210629013@55466: \include{appendix_a}
s1210629013@55466: \include{appendix_b}
s1210629013@55466: 
s1210629013@55466: %%%----------------------------------------------------------
s1210629013@55466: \MakeBibliography
s1210629013@55466: %%%----------------------------------------------------------
s1210629013@55466: 
s1210629013@55466: %%%Messbox zur Druckkontrolle
s1210629013@55466: %\include{messbox}
s1210629013@55466: 
s1210629013@55466: \end{document}




