PRL

Proof Refinement Logic.

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

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

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