An Introduction to the PL/CV2 Programming Logic by R. L. Constable, S. D. Johnson, C. D. Eichenlaub
Publisher: Springer | 1982 | ISBN: 3540114920 | 293 pages | DJVU | 2,5 MB
This book is based on the reference manual for the PL/CV Programming Logic and on lecture notes used to teach the logic to first year college students. The Programming Logic consists of a formal system for reasoning about integers, arrays, and programming language commands (in the PL/I dialect called PL/CS). The arguments can be checked by the PL/CV Proof Checker.