# source:doc/rob_thesis/thesis-frontpgs.tex@3fb7f5e

aaron-thesisarm-ehcleanup-dtorsdeferred_resndemanglerjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerresolv-newwith_gc
Last change on this file since 3fb7f5e was 0111dc7, checked in by Rob Schluntz <rschlunt@…>, 5 years ago

penultimate thesis draft

• Property mode set to 100644
File size: 4.2 KB
Line
1% T I T L E   P A G E
2% -------------------
3% Last updated May 24, 2011, by Stephen Carr, IST-Client Services
4% The title page is counted as page i' but we need to suppress the
5% page number.  We also don't want any headers or footers.
6\pagestyle{empty}
7\pagenumbering{roman}
8
9% The contents of the title page are specified in the "titlepage"
10% environment.
11\begin{titlepage}
12        \begin{center}
13        \vspace*{1.0cm}
14
15        \Huge
16        {\bf Resource Management and Tuples in \CFA}
17
18        \vspace*{1.0cm}
19
20        \normalsize
21        by \\
22
23        \vspace*{1.0cm}
24
25        \Large
26        Robert Schluntz \\
27
28        \vspace*{3.0cm}
29
30        \normalsize
31        A thesis \\
32        presented to the University of Waterloo \\
33        in fulfillment of the \\
34        thesis requirement for the degree of \\
35        Master of Mathematics \\
36        in \\
37        Computer Science \\
38
39        \vspace*{2.0cm}
40
41        Waterloo, Ontario, Canada, 2017 \\
42
43        \vspace*{1.0cm}
44
45        \copyright\ Robert Schluntz 2017 \\
46        \end{center}
47\end{titlepage}
48
49% The rest of the front pages should contain no headers and be numbered using Roman numerals starting with ii'
50\pagestyle{plain}
51\setcounter{page}{2}
52
53\cleardoublepage % Ends the current page and causes all figures and tables that have so far appeared in the input to be printed.
54% In a two-sided printing style, it also makes the next page a right-hand (odd-numbered) page, producing a blank page if necessary.
55
56
57
58% D E C L A R A T I O N   P A G E
59% -------------------------------
60  % The following is the sample Delaration Page as provided by the GSO
61  % December 13th, 2006.  It is designed for an electronic thesis.
62  \noindent
63I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners.
64
65  \bigskip
66
67  \noindent
68I understand that my thesis may be made electronically available to the public.
69
70\cleardoublepage
71%\newpage
72
73% A B S T R A C T
74% ---------------
75
76\begin{center}\textbf{Abstract}\end{center}
77
78\CFA is a modern, non-object-oriented extension of the C programming language.
79This thesis addresses several critical deficiencies of C, notably: resource management, a limited function-return mechanism, and unsafe variadic functions.
80To solve these problems, two fundamental language features are introduced: tuples and constructors/destructors.
81While these features exist in prior programming languages, the contribution of this work is engineering these features into a highly complex type system.
82C is an established language with a dedicated user-base.
83An important goal is to add new features in a way that naturally feels like C, to appeal to this core user-base, and due to huge amounts of legacy code, maintaining backwards compatibility is crucial.
84
85\cleardoublepage
86%\newpage
87
88% % A C K N O W L E D G E M E N T S
89% % -------------------------------
90
91% \begin{center}\textbf{Acknowledgements}\end{center}
92
93% % I would like to thank all the little people who made this possible.
94% TODO
95% \cleardoublepage
96% %\newpage
97
98% % D E D I C A T I O N
99% % -------------------
100
101% \begin{center}\textbf{Dedication}\end{center}
102
103% % This is dedicated to the one I love.
104% TODO
105% \cleardoublepage
106% %\newpage
107
108% T A B L E   O F   C O N T E N T S
109% ---------------------------------
111\tableofcontents
112\cleardoublepage
113\phantomsection
114%\newpage
115
116% L I S T   O F   T A B L E S
117% ---------------------------
119\listoftables
120\cleardoublepage
121\phantomsection         % allows hyperref to link to the correct page
122%\newpage
123
124% % L I S T   O F   F I G U R E S
125% % -----------------------------
126% \addcontentsline{toc}{chapter}{List of Figures}
127% \listoffigures
128% \cleardoublepage
129% \phantomsection               % allows hyperref to link to the correct page
130% %\newpage
131
132% L I S T   O F   S Y M B O L S
133% -----------------------------
134% To include a Nomenclature section
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8077725172042847, "perplexity": 20235.444168952163}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.3, "absolute_threshold": 20, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2021-49/segments/1637964360881.12/warc/CC-MAIN-20211201173718-20211201203718-00475.warc.gz"}