Context Navigation

rbaad96e	rb8cb388
35	35	\section{Motivation}
36	36
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.
	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{Cforall}, which is based on C.
38	38	Unfortunately, to make C better, while retaining a high level of backwards compatibility, requires a significant knowledge of C's design.
39	39	Hence, 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.

Changeset b8cb388 for doc/theses/mike_brooks_MMath