getting our fact(s) straight
authorNorman Ramsey <nr@cs.tufts.edu>
Thu, 10 Jun 2010 19:10:33 +0000 (15:10 -0400)
committerNorman Ramsey <nr@cs.tufts.edu>
Thu, 10 Jun 2010 19:10:33 +0000 (15:10 -0400)
paper/dfopt.tex

index 2f1abaf..79e967a 100644 (file)
@@ -2273,9 +2273,9 @@ and only @body@ knows about fixed points.
 %%  \end{smallcode}
 Each function works the same way: it takes a ``thing'' and
 returns an \emph{extended fact transformer}.
-An~extended fact transformer takes an input fact suitable to
-the ``thing'' and it returns an output fact.
-And it also returns a decorated graph representing the (possibly
+An~extended fact transformer takes dataflow fact(s) coming into
+the ``thing,'' and it returns an output fact.
+It~also returns a decorated graph representing the (possibly
 rewritten) ``thing''---that's the \emph{extended} part.
 Finally, because a rewrite may require fresh names provided
 by the client,