PROOF/L


Meaning of PROOF/L in English

A functional , object-oriented language with implicit parallelism .

[J Parallel Dist Comp 12:202-212 (1991)].

[Forthcoming Technical Report from RADC ].

(1994-10-31)

FOLDOC computer English dictionary.      Английский словарь по компьютерам FOLDOC.