An introduction to the PL/CV2 programming logic
From MaRDI portal
Publication:1170021
zbMath0496.68008MaRDI QIDQ1170021
Publication date: 1982
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
discrete mathematicsprogramming languagessoftware engineeringprogram verificationprogramming logicPL/I
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
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
