Reasoning about programs

DOI10.1016/0004-3702(74)90015-0zbMath0293.68021OpenAlexW2008485543MaRDI QIDQ1212353

Richard Waldinger, Karl N. Levitt

Publication date: 1974

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(74)90015-0

Mathematics Subject Classification ID

Pattern recognition, speech recognition (68T10) General topics in the theory of software (68N01)

Related Items (8)

Theory construction in psychology: The interpretation and integration of psychological data ⋮ Production rules as a representation for a knowledge-based consultation program ⋮ Non-resolution theorem proving ⋮ PASCAL in LCF: Semantics and examples of proof ⋮ Synthetic programming ⋮ Current methods for proving program correctness ⋮ A strong restriction of the inductive completion procedure ⋮ Logical debugging

Uses Software

• Find

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Automatic program verification. I: A logical basis and its implementation
• A Class of Non-Analytical Iterative Processes
• A Machine-Oriented Logic Based on the Resolution Principle
• An axiomatic basis for computer programming
• Formalization of Properties of Functional Programs
• Proof of a program

This page was built for publication: Reasoning about programs