H ? « ‹ ← → › »

Language peer sets for PL/CV:
United States↑
United States/1975↑
Designed 1975 ↑
1970s languages ↑
Fourth generation↑
High Cold War↑
Genus Predicate ↑
Specialised Languages ↑
Predicate↑
Logical↑
Expression-oriented ↑
Predicate/1975↑
Logical/1975↑
Expression-oriented/1975↑
Predicate/United States↑
Logical/United States↑
Expression-oriented/United States↑
Specialised Languages ↑
Specialised Languages/1975↑
Specialised Languages/us ↑

PL/CV(ID:7693/)

Verifying logical dialect of PL/CS 

alternate simple view
Country: United States
Designed 1975
Published: 1978
Genus: Predicate
Sammet category: Specialised Languages
Related languages
PL/CS → PL/CV   Based on
PL/CV → PL/CV2   Evolution of
References:
  • Constable, Robert L.; and Johnson, Scott D. (1979) Constable, Robert L.; and Johnson, Scott D. (Cornell Univ., Ithaca, N.Y.) A PL/CV precis. [in Conference record of the 6th annual ACM symposium on principles of programming languages (San Antonio, Texas Jan. 29-31, 1979), ACM, New York, 1979, 7-20. Abstract
  • 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
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder