scientific article
From MaRDI portal
Publication:3862382
zbMath0426.68004MaRDI QIDQ3862382
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completenesssoundnesspartial correctnessrecursive proceduresHoare's logicwhile-programssubscripted variablesvariable declarations
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 (6)
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
This page was built for publication: