PROOF/L
A functional, object-oriented language with implicit parallelism.
[J Parallel Dist Comp 12:202-212 (1991)].
[Forthcoming Technical Report from RADC].
| < Previous Terms | Terms Containing PROOF/L | Next Terms > |
| PROM monitor pron Pronet Pronunciation proof | proof theory propeller head propeller key Proposal Writing propositional calculus |
