Index: doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex
===================================================================
--- doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex	(revision fcf34935cc303d67bf0219d576c66ddf0a1c4f97)
+++ doc/theses/jiada_liang_MMath/uw-ethesis-frontpgs.tex	(revision 9476549a3705a443ce02a6e2d158ad0f2acc8f98)
@@ -131,9 +131,16 @@
 \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,5 +151,13 @@
 \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.