The Origin of the Binary-Search Paradigm

Manna, Zohar; Waldinger, Richard J.

The Origin of the Binary-Search Paradigm

Download BibTeX Cite

Proceedings of the Ninth International Joint Conference on Artificial Intelligence. Automatic Programming. Pages 222-223.

Abstract

In a binary-search algorithm for the computation of a numerical function, the interval in which the desired output is sought is divided in half at each iteration. The paper considers how such algorithms might be derived from their specifications by an automatic program-synthesis system. The derivation of the binarysearch concept has been found to be surprisingly straightforward. The ~rograms obtained, though reasonably simple and efficient, are quite different from those that would have been constructed by informal means.

Zohar Manna, and Richard J. Waldinger. 1985. The Origin of the Binary-Search Paradigm. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85. IJCAI, 222–223. https://ijcai.org/proceedings/1985/41

@inproceedings{ijcai1985p41,
  title     = {The Origin of the Binary-Search Paradigm},
  author    = {Manna, Zohar and Waldinger, Richard J.},
  booktitle = {Proceedings of the Ninth International Joint Conference on
               Artificial Intelligence, {IJCAI-85}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Aravind Joshi},
  pages     = {222--223},
  year      = {1985},
  note      = {Automatic Programming},
  url       = {https://ijcai.org/proceedings/1985/41},
}

TY  - CPAPER
TI  - The Origin of the Binary-Search Paradigm
AU  - Manna, Zohar
AU  - Waldinger, Richard J.
T2  - Proceedings of the Ninth International Joint Conference on Artificial Intelligence, IJCAI-85
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1985
SP  - 222
EP  - 223
UR  - https://ijcai.org/proceedings/1985/41
ER  -