Proof Refinement Logic.

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

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

(01 Jan 1995)

privileged, privileged instruction, privileged site < Prev | Next > PRL, PRMD, PRML, prn

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums

<abbreviation>

An abbreviation for prolactin.

(05 Mar 2000)

privileged, privileged instruction, privileged site, PRL < Prev | Next > PRMD, PRML, prn, Pro

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums