Ignore:
Timestamp:
Aug 20, 2025, 12:12:31 PM (7 months ago)
Author:
Michael Brooks <mlbrooks@…>
Branches:
master, stuck-waitfor-destruct
Children:
1dec8f3
Parents:
9989781 (diff), 7ea4073 (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/mike_brooks_MMath/intro.tex

    r9989781 r7ca6bf1  
    55For all three types, languages and/or their libraries supply varying degrees of high-level mechanisms for manipulating these objects at the bulk and component level, such as copying, slicing, extracting, and iterating among elements.
    66
    7 Unfortunately, these three aspects of C cause a significant number of memory errors~\cite{vanOorschot23}.
     7Unfortunately, these three aspects of C cause a significant number of memory errors~\cite{Oorschot23}.
    88For operating system and browser vendors, who heavily use systems languages, 60\%--70\% of reported software vulnerabilities involved memory errors~\cite{Kehrer23}.
    99For Microsoft, 70\% of vulnerabilities addressed via security updates between 2006--2018 are memory safety issues~\cite[slide 10]{Miller19}.
    … …  
    2121
    2222\section{Array}
    23 \label{s:ArrayIntro}
    2423
    2524An array provides a homogeneous container with $O(1)$ access to elements using subscripting.
    … …  
    6665
    6766
     67\begin{comment}
    6868\section{Iterator}
    6969
    … …  
    7272However, the general iteration work is only a sketch for others as future work.
    7373Nevertheless, sufficed work was done to write out the ideas that developed and how they should apply in the main context of this work.
     74\end{comment}
    7475
    7576
    … …  
    160161
    161162
     163\begin{comment}
    162164\subsection{Iterator}
    163165
    … …  
    169171This design extends a preexisting proposal to adapt the \CFA (fixed) for-each loop to be more user-pluggable, and builds upon preexisting \CFA coroutines.
    170172Overall, it simplifies the work a programmer must do to leverage the suspended-state abstraction during iteration.
     173\end{comment}
Note: See TracChangeset for help on using the changeset viewer.