Changeset 5a9bc1e


Ignore:
Timestamp:
Apr 2, 2022, 5:18:17 PM (3 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, ast-experimental, enum, master, pthread-emulation, qualifiedEnum
Children:
27f1055
Parents:
bdb4c3c
Message:

add test citation

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/theses/mike_brooks_MMath/array.tex

    rbdb4c3c r5a9bc1e  
    33\section{Features Added}
    44
    5 The present work adds a type @array@ to the \CFA standard library.
     5The present work adds a type @array@ to the \CFA standard library~\cite{Cforall}.
    66
    77This array's length is statically governed and dynamically valued.  This static governance achieves argument safety and suggests a path to subscript safety as future work (TODO: cross reference).  In present state, this work is a runtime libray accessed through a system of macros, while section [TODO: discuss C conexistence] discusses a path for the new array type to be accessed directly by \CFA's array syntax, replacing the lifted C array that this syntax currently exposes.
Note: See TracChangeset for help on using the changeset viewer.