PRL

Proof Refinement Logic.

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

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

Last updated: 1995-01-24

Nearby terms:

Private Manual Branch eXchangeprivileged instructionPRLPRMDPRML

Try this search on Wikipedia, Wiktionary, Google, OneLook.



Loading