An introduction to the PL/CV2 programming logic

zbMath0496.68008MaRDI QIDQ1170021

S. Singh

Publication date: 1982

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

discrete mathematicsprogramming languagessoftware engineeringprogram verificationprogramming logicPL/I

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (5)

Innovations in computational type theory using Nuprl ⋮ Natural language syntax and first-order inference ⋮ Towards a computation system based on set theory ⋮ Programs as proofs: A synopsis ⋮ A logic covering undefinedness in program proofs

Uses Software

• PL/I

This page was built for publication: An introduction to the PL/CV2 programming logic