Programming Language - PROOF/L


PROOF/L

PROOF/L - Language with implicit parallelism. Functional, object-oriented.
J Parallel Dist Comp 12:202-212 (1991). Forthcoming TR from RADC. [?]

Comments, Experience, Additions

Next Language:   Proposal Writing


Language Search

 


Browse by Letter

A B C D E F G H I J K L M
N O P Q R S T U V W X Y Z


PROOF/L Programming Language
http://www.programming-languages.co.uk/proof-l.html
Large list of computer programming languages arranged alphabetically, with explanations.






©Copyright 2007 - Programming Languages