|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 2 van 106 gevonden artikelen
| Titel: |
A Correctness Proof for Binary Search |
| Auteur: |
Montague, Patricia T. |
| Verschenen in: |
Computer science education |
| Paginering: | Jaargang 2 (1991) nr. 1 pagina's 81-89 |
| Jaar: |
1991 |
| Inhoud: |
A form of the binary search algorithm that returns either the position of the item searched for or the position at which it should be inserted is given and proven correct. Since this version of binary search has a non-obvious loop invariant, it can be used to provide a meaningful introduction to loop invariants, post loop assertions, and correctness proofs. The proofs require only the manipulation of inequalities, and hence are very suitable for presentation in CS-1 or CS-2. |
| Uitgever: |
Routledge |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 2 van 106 gevonden artikelen
| << vorige | volgende >> |