Changeset 2d831a1 for doc/theses/colby_parsons_MMAth/text/CFA_intro.tex

Timestamp:

May 8, 2023, 4:53:10 PM (18 months ago)

Author:

caparsons <caparson@…>

Branches:

ADT, ast-experimental, master

Children:

84018e0

Parents:

c0527f8

Message:

added various small edits and resolved some action items

File:

• doc/theses/colby_parsons_MMAth/text/CFA_intro.tex (modified) (3 diffs)

doc/theses/colby_parsons_MMAth/text/CFA_intro.tex

@@ -10 +10 @@
 Beyond C, it adds productivity features, extended libraries, an advanced type-system, and many control-flow/concurrency constructions.
 However, \CFA stays true to the C programming style, with most code revolving around @struct@'s and routines, and respects the same rules as C.
-\CFA is not object oriented as it has no notion of @this@ (receiver) and no structures with methods, but supports some object oriented ideas including constructors, destructors, and limited containment inheritance.
+\CFA is not object oriented as it has no notion of @this@ (receiver) and no structures with methods, but supports some object oriented ideas including constructors, destructors, and limited nominal inheritance.
 While \CFA is rich with interesting features, only the subset pertinent to this work is discussed.
 
@@ -128 +128 @@
 \section{Polymorphism}\label{s:poly}
 C supports limited polymorphism, often requiring users to implement polymorphism using a @void *@ (type erasure) approach.
-\CFA extends C with generalized overloading polymorphism (see \VRef{s:Overloading}), as well as, parametric polymorphism and limited containment inheritance.
+\CFA extends C with generalized overloading polymorphism (see \VRef{s:Overloading}), as well as, parametric polymorphism and limited nominal inheritance.
 
 \subsection{Parametric Polymorphism}
@@ -180 +180 @@
 
 \subsection{Inheritance}
-Inheritance in \CFA is taken from Plan-9 C's containment inheritance.
+Inheritance in \CFA is taken from Plan-9 C's nominal inheritance.
 In \CFA, @struct@s can @inline@ another struct type to gain its fields and masquerade as that type.
-Examples of \CFA containment inheritance are shown in \VRef[Listing]{l:cfa_inherit}.
-
-\begin{cfa}[caption={Example of \CFA containment inheritance},label={l:cfa_inherit}]
+Examples of \CFA nominal inheritance are shown in \VRef[Listing]{l:cfa_inherit}.
+
+\begin{cfa}[caption={Example of \CFA nominal inheritance},label={l:cfa_inherit}]
 struct one_d { double x; };
 struct two_d {