Quelle  binsearch.cob

       Identification Division.
       Program-Id. binsearch.
       Author. Marie-Lautre Potet.
      * aus "Cours Semantique et analyse
      * de programmes"  
      * Verimag-Projekt Grenoble, France  
       Data Division.
       Working-Storage Section.
          77 k    pic S9(8).
          77 u    pic S9(8).
          77 m    pic S9(8).
       Linkage Section.
          01 t    pic S9(8) usage is pointer.
          01 n    pic S9(8).
          01 v    pic S9(8).
          01 ret  pic S9(8).
       Procedure Division using t, n, v returning ret.
         move 0 to k
         subtract 1 from n giving u
         perform until k>u
           compute m=k+(u-k)/2
      *   m elment 0..n-1
           if (t(m)<v)
             add m 1 giving k
           else if t(m)>v then
             subtract 1 from m giving u
           else 
            move m to ret
            stop run
           end-if end-if 
         end-perform.
         move -1 to ret
      * ((0<=res<n and t(res)=v) or 
      * (res=-1 and (forall i.0<=i<n =>
      * t(i) not equal v)) and t'=t
      * and n'=n and v'=v 
       End-Program binsearch.