Changeset b0069a3 for doc/theses/jiada_liang_MMath/background.tex
- Timestamp:
- Aug 7, 2024, 7:07:30 PM (2 months ago)
- 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. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
doc/theses/jiada_liang_MMath/background.tex
r92a0ee8 rb0069a3 28 28 29 29 30 \subsection{C \ lstinline{const}}30 \subsection{C \texorpdfstring{\lstinline{const}}{const}} 31 31 \label{s:Cconst} 32 32 … … 233 233 234 234 235 \section{\ CFA}235 \section{\texorpdfstring{\CFA}{Cforall}} 236 236 237 237 \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.