doc-isac/mlehnfeld/master/thesis/thesis.tex
author wneuper <Walther.Neuper@jku.at>
Sun, 31 Dec 2023 09:42:27 +0100
changeset 60787 26037efefd61
parent 55466 55c2d2ee3f92
permissions -rw-r--r--
Doc/Specify_Phase 2: copy finished
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}