source: doc/theses/andrew_beach_MMath/uw-ethesis.tex @ a049412

arm-ehjacob/cs343-translationnew-ast-unique-expr
Last change on this file since a049412 was a049412, checked in by Andrew Beach <ajbeach@…>, 6 months ago

Andrew MMath: Cleaned out some cruft from cfalab.sty, simplifying the code there.

  • Property mode set to 100644
File size: 12.9 KB
RevLine 
[f28fdee]1%======================================================================
[1c1c180]2% University of Waterloo Thesis Template for LaTeX
3% Last Updated November, 2020
4% by Stephen Carr, IST Client Services,
[f28fdee]5% University of Waterloo, 200 University Ave. W., Waterloo, Ontario, Canada
6% FOR ASSISTANCE, please send mail to request@uwaterloo.ca
7
8% DISCLAIMER
[1c1c180]9% To the best of our knowledge, this template satisfies the current uWaterloo
10% thesis requirements. However, it is your responsibility to assure that you
11% have met all requirements of the University and your particular department.
[f28fdee]12
[1c1c180]13% Many thanks for the feedback from many graduates who assisted the
14% development of this template. Also note that there are explanatory comments
15% and tips throughout this template.
[f28fdee]16%======================================================================
17% Some important notes on using this template and making it your own...
18
[1c1c180]19% The University of Waterloo has required electronic thesis submission since
20% October 2006. See the uWaterloo thesis regulations at:
21%   https://uwaterloo.ca/graduate-studies/thesis.
22% This thesis template is geared towards generating a PDF version optimized
23% for viewing on an electronic display, including hyperlinks within the PDF.
[f28fdee]24
[1c1c180]25% DON'T FORGET TO ADD YOUR OWN NAME AND TITLE in the "hyperref" package
26% configuration below. THIS INFORMATION GETS EMBEDDED IN THE FINAL PDF
27% DOCUMENT. You can view the information if you view properties of the PDF.
[f28fdee]28
[1c1c180]29% Many faculties/departments also require one or more printed copies.
30% This template attempts to satisfy both types of output.
[f28fdee]31% See additional notes below.
[1c1c180]32% It is based on the standard "book" document class which provides all
33% necessary sectioning structures and allows multi-part theses.
[f28fdee]34
[1c1c180]35% If you are using this template in Overleaf (cloud-based collaboration
36% service), then it is automatically processed and previewed for you as you
37% edit.
38
39% For people who prefer to install their own LaTeX distributions on their own
40% computers, and process the source files manually, the following notes
41% provide the sequence of tasks:
[f28fdee]42
43% E.g. to process a thesis called "mythesis.tex" based on this template, run:
44
45% pdflatex mythesis     -- first pass of the pdflatex processor
46% bibtex mythesis       -- generates bibliography from .bib data file(s)
[1c1c180]47% makeindex         -- should be run only if an index is used
48% pdflatex mythesis     -- fixes numbering in cross-references, bibliographic
49%                      references, glossaries, index, etc.
50% pdflatex mythesis     -- it takes a couple of passes to completely process all
51%                      cross-references
52
53% If you use the recommended LaTeX editor, Texmaker, you would open the
54% mythesis.tex file, then click the PDFLaTeX button. Then run BibTeX (under
55% the Tools menu). Then click the PDFLaTeX button two more times.
56% If you have an index as well, you'll need to run MakeIndex from the Tools
57% menu as well, before running pdflatex the last two times.
58
59% N.B. The "pdftex" program allows graphics in the following formats to be
60% included with the "\includegraphics" command: PNG, PDF, JPEG, TIFF
61% Tip: Generate your figures and photos in the size you want them to appear
62% in your thesis, rather than scaling them with \includegraphics options.
63% Tip: Any drawings you do should be in scalable vector graphic formats: SVG,
64% PNG, WMF, EPS and then converted to PNG or PDF, so they are scalable in the
65% final PDF as well.
[f28fdee]66% Tip: Photographs should be cropped and compressed so as not to be too large.
67
[1c1c180]68% ======================================================================
[f28fdee]69%   D O C U M E N T   P R E A M B L E
[f17fb7d]70\RequirePackage{etoolbox}
[f28fdee]71
[f17fb7d]72% Control if this for print (set true) or will stay digital (default).
73% Print is two sided, digital uses more colours.
74\newtoggle{printversion}
75%\toggletrue{printversion}
[f28fdee]76
[f17fb7d]77\iftoggle{printversion}{%
78  \documentclass[letterpaper,12pt,titlepage,openright,twoside,final]{book}
79}{%
80  \documentclass[letterpaper,12pt,titlepage,oneside,final]{book}
81}
[29c9b23]82
[edc6ea2]83% Does nothing, ignores \href tags (redefined by hyperref package).
[df24d37]84\newcommand{\href}[1]{#1}
[f28fdee]85
[f17fb7d]86% For a nomenclature (optional; available from ctan.org)
87%\usepackage{nomencl}
[1c1c180]88% Lots of math symbols and environments
89\usepackage{amsmath,amssymb,amstext}
[6a8208c]90% For including graphics (must match graphics driver)
91\usepackage{epic,eepic}
92\usepackage{graphicx}
[29c9b23]93% Removes large sections of the document.
94\usepackage{comment}
[1830a86]95% Adds todos (Must be included after comment.)
96\usepackage{todonotes}
[df24d37]97% cfa macros used in the document
98\usepackage{cfalab}
[a049412]99% Improved reference tools.
100\usepackage[nospace]{varioref}
[1830a86]101
[f28fdee]102% Hyperlinks make it very easy to navigate an electronic document.
[1c1c180]103% In addition, this is where you should specify the thesis title and author as
104% they appear in the properties of the PDF document.
[f28fdee]105% Use the "hyperref" package
106% N.B. HYPERREF MUST BE THE LAST PACKAGE LOADED; ADD ADDITIONAL PKGS ABOVE
[6a8208c]107\usepackage[pagebackref=true]{hyperref}
[1c1c180]108% N.B. pagebackref=true provides links back from the References to the body
109% text. This can cause trouble for printing.
[f28fdee]110\hypersetup{
111    plainpages=false,       % needed if Roman numbers in frontpages
[7eb6eb5]112    unicode=false,          % non-Latin characters in Acrobat's bookmarks
113    pdftoolbar=true,        % show Acrobat's toolbar?
114    pdfmenubar=true,        % show Acrobat's menu?
[f28fdee]115    pdffitwindow=false,     % window fit to page when opened
116    pdfstartview={FitH},    % fits the width of the page to the window
117    pdfnewwindow=true,      % links in new window
118    colorlinks=true,        % false: boxed links; true: colored links
119}
[f17fb7d]120\iftoggle{printversion}{
121  \hypersetup{
122    citecolor=black,        % colour of links to bibliography
123    filecolor=black,        % colour of file links
124    linkcolor=black,        % colour of internal links
125    urlcolor=black,         % colour of external links
126  }
127}{ % Digital Version
128  \hypersetup{
129    citecolor=green,
130    filecolor=magenta,
131    linkcolor=blue,
132    urlcolor=cyan,
133  }
134}
135
136\hypersetup{
137  pdftitle={Exception Handling in Cforall},
138  pdfauthor={Andrew James Beach},
139  pdfsubject={Computer Science},
140  pdfkeywords={programming languages} {exceptions}
141      {language design} {language implementation},
142}
[f28fdee]143
[1c1c180]144% Exception to the rule of hyperref being the last add-on package
145\usepackage[automake,toc,abbreviations]{glossaries-extra}
146% If glossaries-extra is not in your LaTeX distribution, get it from CTAN
147% (http://ctan.org/pkg/glossaries-extra), although it's supposed to be in
148% both the TeX Live and MikTeX distributions. There are also documentation
149% and installation instructions there.
[f28fdee]150
151% Setting up the page margins...
[1c1c180]152\setlength{\textheight}{9in}
153\setlength{\topmargin}{-0.45in}
154\setlength{\headsep}{0.25in}
155% uWaterloo thesis requirements specify a minimum of 1 inch (72pt) margin at
156% the top, bottom, and outside page edges and a 1.125 in. (81pt) gutter margin
157% (on binding side). While this is not an issue for electronic viewing, a PDF
158% may be printed, and so we have the same page layout for both printed and
159% electronic versions, we leave the gutter margin in. Set margins to minimum
160% permitted by uWaterloo thesis regulations:
[f28fdee]161\setlength{\marginparwidth}{0pt} % width of margin notes
162% N.B. If margin notes are used, you must adjust \textwidth, \marginparwidth
163% and \marginparsep so that the space left between the margin notes and page
164% edge is less than 15 mm (0.6 in.)
[1c1c180]165% width of space between body text and margin notes
166\setlength{\marginparsep}{0pt}
167% Adds 1/8 in. to binding side of all
[f28fdee]168% even-numbered pages when the "twoside" printing option is selected
[1c1c180]169\setlength{\evensidemargin}{0.125in}
170% Adds 1/8 in. to the left of all pages when "oneside" printing is selected,
171% and to the left of all odd-numbered pages when "twoside" printing is selected
172\setlength{\oddsidemargin}{0.125in}
173% assuming US letter paper (8.5 in. x 11 in.) and side margins as above
174\setlength{\textwidth}{6.375in}
[f28fdee]175\raggedbottom
176
[1c1c180]177% The following statement specifies the amount of space between paragraphs.
178% Other reasonable specifications are \bigskipamount and \smallskipamount.
[f28fdee]179\setlength{\parskip}{\medskipamount}
180
[1c1c180]181% The following statement controls the line spacing.
182% The default spacing corresponds to good typographic conventions and only
183% slight changes (e.g., perhaps "1.2"), if any, should be made.
[f28fdee]184\renewcommand{\baselinestretch}{1} % this is the default line space setting
185
186% By default, each chapter will start on a recto (right-hand side) page.
[1c1c180]187% We also force each section of the front pages to start on a recto page by
188% inserting \cleardoublepage commands. In many cases, this will require that
189% the verso (left-hand) page be blank, and while it should be counted, a page
190% number should not be printed. The following statements ensure a page number
191% is not printed on an otherwise blank verso page.
[f28fdee]192\let\origdoublepage\cleardoublepage
193\newcommand{\clearemptydoublepage}{%
194  \clearpage{\pagestyle{empty}\origdoublepage}}
195\let\cleardoublepage\clearemptydoublepage
196
[1c1c180]197% Define Glossary terms (This is properly done here, in the preamble and
198% could also be \input{} from a separate file...)
[f28fdee]199\input{glossaries}
200\makeglossaries
201
[c1136c56]202% listings package configuation:
[df24d37]203\lstMakeShortInline@
[c1136c56]204\lstset{language=CFA,style=cfacommon,basicstyle=\linespread{0.9}\tt}
[edc6ea2]205\lstset{moredelim=**[is][\protect\color{red}]{@}{@}}
[29c9b23]206% Annotations from Peter:
[7eb6eb5]207\newcommand{\PAB}[1]{{\color{blue}PAB: #1}}
[29c9b23]208% Change the style of abbreviations:
209\renewcommand{\abbrevFont}{}
[f28fdee]210
211%======================================================================
212%   L O G I C A L    D O C U M E N T
213% The logical document contains the main content of your thesis.
[1c1c180]214% Being a large document, it is a good idea to divide your thesis into several
215% files, each one containing one chapter or other significant chunk of content,
216% so you can easily shuffle things around later if desired.
[f28fdee]217%======================================================================
218\begin{document}
219
220%----------------------------------------------------------------------
221% FRONT MATERIAL
222% title page,declaration, borrowers' page, abstract, acknowledgements,
[1c1c180]223% dedication, table of contents, list of tables, list of figures,
224% nomenclature, etc.
[f28fdee]225%----------------------------------------------------------------------
[1c1c180]226\input{uw-ethesis-frontpgs}
[f28fdee]227
228%----------------------------------------------------------------------
229% MAIN BODY
230% We suggest using a separate file for each chapter of your thesis.
[1c1c180]231% Start each chapter file with the \chapter command. Only use \documentclass,
232% \begin{document} and \end{document} commands in this master document.
[f28fdee]233% Tip: Putting each sentence on a new line is a way to simplify later editing.
234%----------------------------------------------------------------------
235\input{existing}
236\input{features}
[7eb6eb5]237\input{implement}
238%\input{unwinding}
[f28fdee]239\input{future}
240
241%----------------------------------------------------------------------
242% END MATERIAL
243% Bibliography, Appendices, Index, etc.
244%----------------------------------------------------------------------
245
246% Bibliography
247
[1c1c180]248% The following statement selects the style to use for references.
249% It controls the sort order of the entries in the bibliography and also the
250% formatting for the in-text labels.
[f28fdee]251\bibliographystyle{plain}
[1c1c180]252% This specifies the location of the file containing the bibliographic
253% information. It assumes you're using BibTeX to manage your references (if
254% not, why not?).
255\cleardoublepage % This is needed if the "book" document class is used, to
256% place the anchor in the correct page, because the bibliography will start
257% on its own page.
258% Use \clearpage instead if the document class uses the "oneside" argument.
259\phantomsection  % With hyperref package, enables hyperlinking from the table
260% of contents to bibliography.
261% The following statement causes the title "References" to be used for the
262% bibliography section:
[f28fdee]263\renewcommand*{\bibname}{References}
264
265% Add the References to the Table of Contents
266\addcontentsline{toc}{chapter}{\textbf{References}}
267
268\bibliography{uw-ethesis,pl}
[1c1c180]269% Tip: You can create multiple .bib files to organize your references. Just
270% list them all in the \bibliogaphy command, separated by commas (no spaces).
[f28fdee]271
[1c1c180]272% The following statement causes the specified references to be added to the
273% bibliography even if they were not cited in the text. The asterisk is a
274% wildcard that causes all entries in the bibliographic database to be
275% included (optional).
[f28fdee]276% \nocite{*}
277%----------------------------------------------------------------------
278
279% Appendices
280
281% The \appendix statement indicates the beginning of the appendices.
282\appendix
[1c1c180]283% Add an un-numbered title page before the appendices and a line in the Table
284% of Contents
[f28fdee]285% \chapter*{APPENDICES}
286% \addcontentsline{toc}{chapter}{APPENDICES}
[1c1c180]287% Appendices are just more chapters, with different labeling (letters instead
288% of numbers).
[f28fdee]289% \input{appendix-matlab_plots.tex}
290
[1c1c180]291% GLOSSARIES (Lists of definitions, abbreviations, symbols, etc.
292% provided by the glossaries-extra package)
[f28fdee]293% -----------------------------
294\printglossaries
295\cleardoublepage
296\phantomsection         % allows hyperref to link to the correct page
297
298%----------------------------------------------------------------------
299\end{document} % end of logical document
Note: See TracBrowser for help on using the repository browser.