PROOF/L
A functional, object-oriented language with implicit parallelism.
[J Parallel Dist Comp 12:202-212 (1991)].
[Forthcoming Technical Report from RADC].
(1994-10-31)
Nearby terms:
Pronet « Pronunciation « proof « PROOF/L »
proof theory » propeller head » propeller key
|