Changeset b8cb388


Ignore:
Timestamp:
Mar 27, 2024, 10:06:40 AM (9 months ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
master
Children:
b5bfb16
Parents:
baad96e
Message:

fix CFA citation

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/theses/mike_brooks_MMath/intro.tex

    rbaad96e rb8cb388  
    3535\section{Motivation}
    3636
    37 The goal of this work is to introduce safe and complex versions of array, link-lists, and string into the programming language \CFA~\cite{CFA}, which is based on C.
     37The goal of this work is to introduce safe and complex versions of array, link-lists, and string into the programming language \CFA~\cite{Cforall}, which is based on C.
    3838Unfortunately, to make C better, while retaining a high level of backwards compatibility, requires a significant knowledge of C's design.
    3939Hence, it is assumed the reader has a medium knowledge of C or \CC, on which extensive new C knowledge is built.
Note: See TracChangeset for help on using the changeset viewer.