H ? « ‹ ← → › »

Language peer sets for PL/CV3:
United States↑
United States/1984↑
Designed 1984 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑

PL/CV3(ID:7692/)

alternate simple view

Country: United States
Designed 1984

Related languages

PL/CV2

→

PL/CV3

Evolution of

References:

Constable, Robert L. (1980) Constable, Robert L. ; Daniel R. Zlatin, Report on the Type Theory (V3) of the Programming Logic PL/CV3, Cornell University, Ithaca, NY, 1980

Constable, R. (1982) Constable, R. L. S. D. Johnson , C. D. Eichenlaub, An Introduction to the PL/CV2 Programming Logic, Springer-Verlag New York, Inc., Secaucus, NJ, 1982 Extract: PREFACE Extract: ACKNOWLEDGEMENTS

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

Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder