Hyper Dictionary

English Dictionary Computer 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].

 
 Sponsored Links: 
 

 

COPYRIGHT © 2000-2003 WEBNOX CORP. HOME | ABOUT HYPERDICTIONARY