Ignore:
Timestamp:
Aug 7, 2024, 7:07:30 PM (2 months ago)
Author:
JiadaL <j82liang@…>
Branches:
master
Children:
a8f44c8
Parents:
92a0ee8 (diff), 9d3a4cc (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:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/theses/jiada_liang_MMath/background.tex

    r92a0ee8 rb0069a3  
    2828
    2929
    30 \subsection{C \lstinline{const}}
     30\subsection{C \texorpdfstring{\lstinline{const}}{const}}
    3131\label{s:Cconst}
    3232
     
    233233
    234234
    235 \section{\CFA}
     235\section{\texorpdfstring{\CFA}{Cforall}}
    236236
    237237\CFA in \emph{not} an object-oriented programming-language, \ie functions cannot be nested in aggregate types, and hence, there is no \newterm{receiver} notation for calling functions, \eg @obj.method(...)@, where the first argument proceeds the call and becomes an  implicit first (\lstinline[language=C++]{this}) parameter.
Note: See TracChangeset for help on using the changeset viewer.