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