H ? « ‹ ← → › »

Language peer sets for PRL:
United States↑
United States/1983↑
Designed 1983 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Experimental and other ↑
Experimental and other/1983↑
Experimental and other/us ↑

PRL(ID:1054/prl001)

Proof Refinement Logic 

alternate simple view
Country: United States
Designed 1983
Published: 1983
Sammet category: Experimental and other

for Proof Refinement Logic

Joseph Bates and Robert Constable  Cornell 1983
Related languages
PRL → Lambda-PRL   Dialect of
PRL → micro-PRL   Dialect of
PRL → Nuprl   Evolution of
References:
  • Bates, J.L. (1979) Bates, J.L. "A logic for correct program development" Ph.D. Cornell 1979
  • Bates, J., and Constable, R.L. (1981) Bates, J., and Constable, R.L. "Definition of Micro-PRL" Tech. Rep. TR 82-492, Computer Science Dept., Cornell Univ., Oct. 1981.
  • (1983) "PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983.
  • Bates, Joseph L. and Constable, Robert L. (1983) Bates, Joseph L. and Constable, Robert L. "Proofs as Programs" TR82-530 1983 Abstract
  • Constable, R. L., and Bates, J. L. (1983) Constable, R. L., and Bates, J. L. "The nearly ultimate PRL" Dept. of Computer Science Tech. Rep. TR 83-551, Cornell Univ., Apr. 1983.
  • Constable, R.L. (1983) Constable, R.L. "Programs as proofs" Inf. Process. Lett. 16, 3 (Apr. 1983), 105-112.
  • Proofrock, J. A. (1983) Proofrock, J. A. "PRL: Proof refinement logic programmer's manual (Lambda PRL VAX version)". Computer Science Dept., Cornell Univ., 1983.
  • Constable, Robert L. and Zlatin, Daniel R. (1984) Constable, Robert L. and Zlatin, Daniel R. "The Type Theory of PL/CV3" ACM Transactions on Programming Languages and Systems (TOPLAS) 6(1) (January 1984) pp94-117 Extract: Logic of Programming versus Logic of Mathematics
  • McLean, J. (1984) McLean, J. D. review of Constable and Zlatin 1984 in ACM Computing Reviews August 1984
  • Bates, Joseph L. and Constable, Robert L. (1985) Bates, Joseph L. and Constable, Robert L. "Proofs as programs" Abstract
          in (1985) TOPLAS 7(1) January 1985
  • PRL Language Specification, December 1986. (1986) PRL Language Specification, December 1986.
          in (1985) TOPLAS 7(1) January 1985
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder