You are here: irt.org | FOLDOC | 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
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL