Hyper Dictionary

English Dictionary Computer Dictionary Video Dictionary Thesaurus Dream Dictionary Medical Dictionary


Search Dictionary:  

Meaning of PRL

 
Computing Dictionary
 
 Definition: 

Proof Refinement Logic.

Versions: micro-prl, lambda-prl, nu-prl.

["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983].

 

 

COPYRIGHT © 2000-2013 HYPERDICTIONARY.COM HOME | ABOUT HYPERDICTIONARY