 Given an array formula_5 of formula_2 elements with values or records formula_7sorted such that formula_8, and target value formula_9, the following subroutine uses binary search to find the index of formula_9 in formula_5.This iterative procedure keeps track of the search boundaries with the two variables formula_12 and formula_14.The procedure may be expressed in pseudocode as follows, where the variable names and types remain the same as above, codice_1 is the floor function, and codice_2 refers to a specific value that conveys the failure of the search.