Changeset 0c51c8b4 for doc/theses/jiada_liang_MMath/intro.tex

Timestamp:

Aug 6, 2024, 9:49:56 AM (25 hours ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

efd055c

Parents:

c03af31

Message:

formatting, add section of enumeration subset

File:

• doc/theses/jiada_liang_MMath/intro.tex (modified) (1 diff)

doc/theses/jiada_liang_MMath/intro.tex

@@ -299 +299 @@
 \begin{enumerate}
 \item
-overloading: provides a pattern to overload functions, literal, and variable for polymorphic enumerations.
-\item
-scoping: adds name space for enumerations.
-\item
-safety: defines a safe enumeration conversion scheme.
-\item
-harmonization: allows enumeration to be mapped with data.
-\item
-inheritance: implements containment inheritance for enumerations.
+safety: Define a safe enumeration conversion scheme, both for C and \CFA, and replace ad-hoc C idioms with safer software-engineering approaches.
+\item
+overloading: Provide a pattern to overload functions, literals, and variables for polymorphic enumerations using the \CFA type system.
+\item
+scoping: Add a name space for enumerations and qualified access into the namespace to deal with the naming problem.
+\item
+generalization: Support all language types for enumerators with associated values providing enumeration constants for any type.
+\item
+inheritance: Implement subtyping and containment inheritance for enumerations.
+\item
+control flow: Extend control-flow structures making it safer and easier to enumerate over an enumeration.
+\item
+I/O: Provide input and output of enumerations based on enumerator names.
 \end{enumerate}