VDict mobile



(CTL) The intermediate language used by the ALICE parallel
machine.
["The Design and Implementation of ALICE: A Parallel Graph
Reduction Machine", M.D. Cripps et al, Proc Workshop on Graph
Reduction, Springer 1987].
(1994-11-14)