Changeset 9476549 for doc/theses

Timestamp:

Jul 30, 2024, 6:04:24 PM (5 months ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

1f11818, 21f4dff

Parents:

2ff76d25

Message:

Add abstract and acknoledgement

File:

• doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex (modified) (2 diffs)

doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex

@@ -131 +131 @@
 \begin{center}\textbf{Abstract}\end{center}
 
-An enumeration is a type defining an ordered set of named constant values, where a name abstracts a value, \eg @PI@ versus @3.145159@.
-C restrict an enumeration type to the integral type @signed int@, which \CC support , meaning enumeration names bind to integer constants.
-\CFA extends C enumerations to allow all basic and custom types for the enumeration type, like other modern programming languages.
-Furthermore, \CFA adds other useful features for enumerations to support better software-engineering practices and simplify program development.
-
+% An enumeration is a type defining an ordered set of named constant values, where a name abstracts a value, \eg @PI@ versus @3.145159@.
+% C restrict an enumeration type to the integral type @signed int@, which \CC support, meaning enumeration names bind to integer constants.
+% \CFA extends C enumerations to allow all basic and custom types for the enumeration type, like other modern programming languages.
+% Furthermore, \CFA adds other useful features for enumerations to support better software-engineering practices and simplify program development.
+The \CFA (C-for-all) programming language is an evolutionary refinement of C programing language. One of its distinctive feature is the generic 
+types. But legacy data type from C, such as enumerations, does not adapt well into the \CFA generic type system.
+
+This thesis presents an adaptation of enumerated types, in a way that integrates naturallly with the generic type feature of \CFA while being 
+backward-compatiable to C. This thesis also presents a number of smaller refinement to the \CFA overload resolution rules for enumerated types, 
+each of which improves the intuitive nature of enumerations. 
+The enumeration types improvement has been implemented into \CFA compiler and run-time environment. The root ideas behinds the change of 
+enumeration is to discover the approach of C data types working with \CFA generic types in order to improve the language expressiveity and safety.
 \cleardoublepage
 \phantomsection    % allows hyperref to link to the correct page
@@ -144 +151 @@
 \begin{center}\textbf{Acknowledgements}\end{center}
 
-I would like to thank all the little people who made this thesis possible.
+To begin, I would like to thank my supervisor Proferssor Peter Buhr. Thank you for your guidance and 
+support throughout my study and research. I would not be here without you.
+
+Thanks Gregor Richards and Yzihou Zhang for reading my thesis.
+
+Special thanks to Andrew James Beach for your insight on the theory development on the thesis.
+
+Thanks to Michael Brooks, Fangran Yu, Colby Parsons, Thierry Delisle, Mubeen Zulifiqar,
+ and entire Cforall team for development of the \CFA language, making it the best language it can be.
 
 Finally, a special thank you to Huawei Canada for funding this work.