scientific article

zbMath0426.68004MaRDI QIDQ3862382

Krzysztof R. Apt

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenesssoundnesspartial correctnessrecursive proceduresHoare's logicwhile-programssubscripted variablesvariable declarations

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items

Program composition via unification, Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic, Floyd's principle, correctness theories and program equivalence, Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs, Proving program inclusion using Hoare's logic, Average case optimality for linear problems