Presburger Arithmetic and Its Use in Verification
Presburger Arithmetic and Its Use in Verification
Presburger Arithmetic and Its Use in Verification
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
A.2.<br />
SOURCE CODE OF MERGESORT<br />
A.2 Source code of MergeSort<br />
module MergeSort<br />
open System<br />
open System.IO<br />
open System.Thread<strong>in</strong>g.Tasks<br />
open Microsoft.FSharp.Collections<br />
let split fs =<br />
let len = Array.length fs<br />
fs.[0..(len/2)−1], fs.[len/2..]<br />
let rec b<strong>in</strong>arySearch (ls: _ [], v, i, j) =<br />
if i = j then j<br />
else<br />
let mid =(i+j)/2<br />
if ls.[mid]