Changeset df56e25 for doc/theses/fangren_yu_MMath/intro.tex

Timestamp:

Jan 17, 2025, 3:46:40 PM (3 days ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Parents:

d96f7c4 (diff), 4ac0949 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

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

doc/theses/fangren_yu_MMath/intro.tex

@@ -518 +518 @@
 
 \begin{enumerate}
-\item
-\item
-\item
+\item The \CFA compiler performance and capability have been greatly improved through recent development. The compilation time of various \CFA library units and test programs have been reduced from the order of minutes down to 10-20 seconds, which made it possible to develop and test more complicated \CFA programs that utilize sophisticated type system features. The details of compiler optimization work are covered in a previous technical report.
+\item The thesis presents a systematic review of the new features that have been added to the \CFA language and its type system. Some of the more recent inclusions to \CFA such as tuples and generic structure types were not well tested when they were being developed, due to the limitation of compiler performance. Several issues coming from the interactions of various language features are identified and discussed in this thesis; some of them are now fully resolved, while others are given temporary fixes and need to be reworked in the future.
+\item Finally, this thesis provides constructive ideas of fixing the outstanding issues in \CFA language design and implementation, and gives a path for future improvements to \CFA language and compiler.
 \end{enumerate}