Prl

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [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)