Changeset 5ff188f for doc/refrat/refrat.tex

Timestamp:

Jan 31, 2018, 5:49:36 PM (7 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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:

281806b

Parents:

633a642

Message:

further changes to document Makefiles

File:

• doc/refrat/refrat.tex (modified) (4 diffs)

doc/refrat/refrat.tex

@@ -11 +11 @@
 %% Created On       : Wed Apr  6 14:52:25 2016
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Tue Aug 15 18:46:31 2017
-%% Update Count     : 106
+%% Last Modified On : Wed Jan 31 17:30:23 2018
+%% Update Count     : 108
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -141 +141 @@
 The manual deliberately imitates the ordering of the \Celeven standard (although the section numbering differs).
 Unfortunately, this means the manual contains more ``forward references'' than usual, making it harder to follow if the reader does not have a copy of the \Celeven standard.
-For a simple introduction to \CFA, see the companion document ``An Overview of \CFA''
-\cite{Ditchfield96:Overview}.
+For a simple introduction to \CFA, see~\cite{Cforall}.
 
 \begin{rationale}
@@ -596 +595 @@
 \begin{rationale}
 Since each subsection describes the interpretations of an expression in terms of the interpretations of its subexpressions, this chapter can be taken as describing an overload resolution algorithm that uses one bottom-up pass over an expression tree.
-Such an algorithm was first described (for Ada) by Baker~\cite{Bak:overload}.
+Such an algorithm was first described (for Ada) by Baker~\cite{Baker82}.
 It is extended here to handle polymorphic functions and arithmetic conversions.
 The overload resolution rules and the predefined functions have been chosen so that, in programs that do not introduce overloaded declarations, expressions will have the same meaning in C and in \CFA.
@@ -3775 +3774 @@
 
 \bibliographystyle{plain}
-\bibliography{cfa}
+\bibliography{pl}