Title :
Formal Derivation and Implementation for the Stone-Merger Algorithm
Author_Institution :
Dept. of Eng. Econ., Henan Coll. of Finance & Taxation, China
Abstract :
Begun with the formal functional specification of stone-merger problem, formal derivation method of formal PAR was used. Recurrence formula and loop invariant of the problem naturally was gained. And then an efficient and correct algorithm was derived. Finally, according to the algorithm, the executable program of this problem has been solved.
Keywords :
formal specification; formal PAR; formal derivation; program executability; recurrence formula; stone-merger algorithm; Algorithm design and analysis; Corporate acquisitions; Dynamic programming; Educational institutions; Finance; Heuristic algorithms; Merging; Partitioning algorithms; Process design; Software algorithms;
Conference_Titel :
Information Engineering and Electronic Commerce (IEEC), 2010 2nd International Symposium on
Conference_Location :
Ternopil
Print_ISBN :
978-1-4244-6972-7
Electronic_ISBN :
978-1-4244-6974-1
DOI :
10.1109/IEEC.2010.5533196
