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
|