[pypy-svn] r23077 - pypy/dist/pypy/lib/logic

[auc at codespeak.net]

Author: auc
Date: Mon Feb  6 18:35:41 2006
New Revision: 23077

Modified:
   pypy/dist/pypy/lib/logic/oz-dataflow-concurrency.txt
Log:
small update (& a good reading about flow java)


Modified: pypy/dist/pypy/lib/logic/oz-dataflow-concurrency.txt
==============================================================================
--- pypy/dist/pypy/lib/logic/oz-dataflow-concurrency.txt	(original)
+++ pypy/dist/pypy/lib/logic/oz-dataflow-concurrency.txt	Mon Feb  6 18:35:41 2006
@@ -1,6 +1,8 @@
 Some rough notes about the Oz threading model
 =============================================
 
+(almost verbatim from CTM)
+
 Scheduling
 ----------
 
@@ -94,6 +96,9 @@
 Dataflow variables
 ------------------
 
+(see http://www.sics.se/~frej/flow_java/ for an implementation of
+dataflow variables in Java).
+
 Dataflow variables were originally discovered by people working on
 logic programming and were called logic variables. They have
 well-defined logic semantics.
@@ -113,5 +118,6 @@
 A single-assignment variable is a mutable variable that can be
 assigned only once. This differ form a dataflow variable in that the
 latter can be assigned (perhaps multiple times) to many partial
-values, provided the partial values are compatible with each other
-[that probably means : unifiable].
+values, provided the partial values are compatible (unifiable) with
+each other.
+