PROOF/L

A functional, object-oriented language with implicit parallelism.

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

[Forthcoming Technical Report from RADC].

Last updated: 1994-10-31

Try this search on Wikipedia, OneLook, Google

Nearby terms: Pronet « Pronunciation « proof « PROOF/L » proof theory » propeller head » propeller key


Loading

Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.