Proofl

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

  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)