• DocumentCode
    3315730
  • Title

    Formal Derivation and Implementation for the Stone-Merger Algorithm

  • Author

    Xiaoqing Dong

  • Author_Institution
    Dept. of Eng. Econ., Henan Coll. of Finance & Taxation, China
  • fYear
    2010
  • fDate
    23-25 July 2010
  • Firstpage
    1
  • Lastpage
    3
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/IEEC.2010.5533196
  • Filename
    5533196
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3315730