Subgoal induction
From MaRDI portal
Publication:4120116
DOI10.1145/359461.359466zbMath0349.68007OpenAlexW2340063198MaRDI QIDQ4120116
James H. Jun. Morris, Ben Wegbreit
Publication date: 1977
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/359461.359466
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (8)
Mechanical inference of invariants for FOR-loops ⋮ Unnamed Item ⋮ Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic ⋮ Axiomatic data type specifications: A first order theory of linear lists ⋮ Unnamed Item ⋮ Semantics of algorithmic languages ⋮ Synthetic programming ⋮ Mathematics for reasoning about loop functions
This page was built for publication: Subgoal induction
