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