The origin of a binary-search paradigm
From MaRDI portal
Publication:1098328
DOI10.1016/0167-6423(87)90025-6zbMath0636.68118MaRDI QIDQ1098328
Richard Waldinger, Zohar Manna
Publication date: 1987
Published in: Science of Computer Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0167-6423(87)90025-6
specifications; binary search; functional programs; program schemata; automatic system for program synthesis; binary-search; deductive tableaux; induction rule; resolution rule
68Q60: Specification and verification (program logics, model checking, etc.)