Jabarkan if right < left dari Algoritma pencarian biner

return binarySearch(a, value, left, mid-1)

return binarySearch(a, value, mid+1, right)

Karena pemanggilan fungsi di atas adalah rekursif ekor, fungsi tersebut dapat dituliskan sebagai sebuah pengulangan (loop), hasilnya adalah algoritme in-place:

function binarySearch(a, value, left, right)