Changeset 3bd1eb4 for doc

Timestamp:

May 15, 2017, 3:27:47 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

db0fa7c

Parents:

dbfb35d (diff), 9ff8310 (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

Location:

doc

Files:

• LaTeXmacros/common.tex (modified) (7 diffs)
• LaTeXmacros/lstlang.sty (added)
• generic_types/generic_types.tex (modified) (6 diffs)
• nda/Aaron_Moss-Rob_Schluntz-Thierry_Delisle.pdf (added)
• nda/Cover_Letter.pdf (added)
• nda/Daniel_Caccamo.pdf (added)
• nda/NDA.pdf (added)
• nda/Neda_Paryab.pdf (added)
• nda/Peter_Buhr-30-jul-2014.pdf (added)
• rob_thesis/thesis.bib (modified) (1 prop)
• user/Makefile (modified) (1 diff)

doc/LaTeXmacros/common.tex

@@ -11 +11 @@
 %% Created On       : Sat Apr  9 10:06:17 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Tue Apr 18 17:16:13 2017
-%% Update Count     : 270
+%% Last Modified On : Sun May 14 18:17:09 2017
+%% Update Count     : 295
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -36 +36 @@
 % Names used in the document.
 
-\newcommand{\CFA}{C$\mathbf\forall$\xspace} % Cforall symbolic name
+\newcommand{\CFA}{C\raisebox{\depth}{\rotatebox{180}{\textscale{1.05}{\textsf{A}}}}\xspace} % Cforall symbolic name
 \newcommand{\CFL}{Cforall\xspace} % Cforall symbolic name
+\newcommand{\Celeven}{C11\xspace} % C11 symbolic name
 \newcommand{\CC}{\rm C\kern-.1em\hbox{+\kern-.25em+}\xspace} % C++ symbolic name
 \newcommand{\CCeleven}{\rm C\kern-.1em\hbox{+\kern-.25em+}11\xspace} % C++11 symbolic name
@@ -43 +44 @@
 \newcommand{\CCseventeen}{\rm C\kern-.1em\hbox{+\kern-.25em+}17\xspace} % C++17 symbolic name
 \newcommand{\CCtwenty}{\rm C\kern-.1em\hbox{+\kern-.25em+}20\xspace} % C++20 symbolic name
-\newcommand{\Celeven}{C11\xspace} % C11 symbolic name
 \newcommand{\Csharp}{C\raisebox{-0.7ex}{\Large$^\sharp$}\xspace} % C# symbolic name
 
@@ -67 +67 @@
 \usepackage{pslatex}                                    % reduce size of san serif font
 \usepackage{relsize}                                    % must be after change to small or selects old size
+\usepackage{rotating}
 
 % reduce size of chapter/section titles
@@ -97 +98 @@
 \newcommand{\italic}[1]{\emph{\hyperpage{#1}}}
 \newcommand{\definition}[1]{\textbf{\hyperpage{#1}}}
-\newcommand{\see}[1]{\emph{see} #1}
+\newcommand{\see}[1]{\emph{see}~#1}
 
 % Define some commands that produce formatted index entries suitable for cross-references.
@@ -221 +222 @@
 }%
 
-% Go programming language: https://github.com/julienc91/listings-golang/blob/master/listings-golang.sty
-\lstdefinelanguage{Golang}{
-        morekeywords=[1]{package,import,func,type,struct,return,defer,panic,recover,select,var,const,iota,},%
-        morekeywords=[2]{string,uint,uint8,uint16,uint32,uint64,int,int8,int16,int32,int64,
-                bool,float32,float64,complex64,complex128,byte,rune,uintptr, error,interface},%
-        morekeywords=[3]{map,slice,make,new,nil,len,cap,copy,close,true,false,delete,append,real,imag,complex,chan,},%
-        morekeywords=[4]{for,break,continue,range,goto,switch,case,fallthrough,if,else,default,},%
-        morekeywords=[5]{Println,Printf,Error,},%
-        sensitive=true,%
-        morecomment=[l]{//},%
-        morecomment=[s]{/*}{*/},%
-        morestring=[b]',%
-        morestring=[b]",%
-        morestring=[s]{`}{`},%
-}
-
-% CFA programming language, based on ANSI C (with some gcc additions)
-\lstdefinelanguage{Pseudo}{
-        morekeywords={string,uint,int,bool,float},%
-        sensitive=true,%
-        morecomment=[l]{//},%
-        morecomment=[s]{/*}{*/},%
-        morestring=[b]',%
-        morestring=[b]",%
-        morestring=[s]{`}{`},%
-}%
-
-% CFA programming language, based on ANSI C (with some gcc additions)
-\lstdefinelanguage{CFA}[ANSI]{C}{
-        morekeywords={_Alignas,_Alignof,__alignof,__alignof__,asm,__asm,__asm__,_At,_Atomic,__attribute,__attribute__,auto,
-                _Bool,catch,catchResume,choose,_Complex,__complex,__complex__,__const,__const__,disable,dtype,enable,__extension__,
-                fallthrough,fallthru,finally,forall,ftype,_Generic,_Imaginary,inline,__label__,lvalue,_Noreturn,one_t,otype,restrict,_Static_assert,
-                _Thread_local,throw,throwResume,trait,try,ttype,typeof,__typeof,__typeof__,zero_t},
-}%
+\usepackage{lstlang}
 
 \newcommand{\CFADefaults}{%
@@ -292 +260 @@
 {}
 
-
 % Local Variables: %
 % tab-width: 4 %

doc/generic_types/generic_types.tex

@@ -6 +6 @@
 \usepackage{upquote}                                                                    % switch curled `'" to straight
 \usepackage{listings}                                                                   % format program code
+\usepackage{rotating}
 \usepackage[usenames]{color}
 
@@ -48 +49 @@
 
 % Useful macros
-\newcommand{\CFA}{C$\mathbf\forall$\xspace} % Cforall symbolic name
+\newcommand{\CFA}{C\raisebox{\depth}{\rotatebox{180}{\textsf{A}}}\hspace{-1pt}\xspace} % Cforall symbolic name
+%\newcommand{\CFA}{C$\mathbf\forall$\xspace} % Cforall symbolic name
 \newcommand{\CC}{\rm C\kern-.1em\hbox{+\kern-.25em+}\xspace} % C++ symbolic name
 \newcommand{\CCeleven}{\rm C\kern-.1em\hbox{+\kern-.25em+}11\xspace} % C++11 symbolic name
@@ -97 +99 @@
 \acmJournal{PACMPL}
 
-\title{Generic and Tuple Types with Efficient Dynamic Layout in \CFA}
+\title{Generic and Tuple Types with Efficient Dynamic Layout in \protect\CFA}
 
 \author{Aaron Moss}
@@ -197 +199 @@
 \label{sec:poly-fns}
 
-\CFA's polymorphism was originally formalized by \citet{Ditchfield92}, and first implemented by \citet{Bilson03}.
+\CFA{}\hspace{1pt}'s polymorphism was originally formalized by \citet{Ditchfield92}, and first implemented by \citet{Bilson03}.
 The signature feature of \CFA is parametric-polymorphic functions~\citep{forceone:impl,Cormack90,Duggan96} with functions generalized using a @forall@ clause (giving the language its name):
 \begin{lstlisting}
@@ -950 +952 @@
 }
 \end{lstlisting}
-\caption{\CFA Benchmark Test}
+\caption{\protect\CFA Benchmark Test}
 \label{fig:BenchmarkTest}
 \end{figure}
@@ -1020 +1022 @@
 While \CC provides good backwards compatibility with C, it has a steep learning curve for many of its extensions.
 For example, polymorphism is provided via three disjoint mechanisms: overloading, inheritance, and templates.
-The overloading is restricted because resolution does not using the return type, inheritance requires learning object-oriented programming and coping with a restricted nominal-inheritance hierarchy, templates cannot be separately compiled resulting in compilation/code bloat and poor error messages, and determining how these mechanisms interact and which to use is confusing.
+The overloading is restricted because resolution does not use the return type, inheritance requires learning object-oriented programming and coping with a restricted nominal-inheritance hierarchy, templates cannot be separately compiled resulting in compilation/code bloat and poor error messages, and determining how these mechanisms interact and which to use is confusing.
 In contrast, \CFA has a single facility for polymorphic code supporting type-safe separate-compilation of polymorphic functions and generic (opaque) types, which uniformly leverage the C procedural paradigm.
 The key mechanism to support separate compilation is \CFA's \emph{explicit} use of assumed properties for a type.

doc/user/Makefile

@@ -47 +47 @@
 
 ${basename ${DOCUMENT}}.dvi : Makefile ${GRAPHS} ${PROGRAMS} ${PICTURES} ${FIGURES} ${SOURCES} ${basename ${DOCUMENT}}.tex \
-                ../LaTeXmacros/common.tex ../LaTeXmacros/indexstyle ../bibliography/cfa.bib
+                ../LaTeXmacros/common.tex ../LaTeXmacros/lstlang.sty ../LaTeXmacros/indexstyle ../bibliography/cfa.bib
         # Conditionally create an empty *.ind (index) file for inclusion until makeindex is run.
         if [ ! -r ${basename $@}.ind ] ; then touch ${basename $@}.ind ; fi