Home > Electronics Tutorials > Online Computer Terms Dictionary > P

Online Computer Terms Dictionary - P

PRL

Proof Refinement Logic.

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

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

(1995-01-24)

 


Nearby terms: private-key cryptography Private Manual Branch eXchange privileged instruction PRL PRMD PRML probabilistic
 

Discover

     more......