{"title":"Formal Derivation and Implementation for the Stone-Merger Algorithm","authors":"Xiao-chun Dong","doi":"10.1109/IEEC.2010.5533196","DOIUrl":null,"url":null,"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.","PeriodicalId":307678,"journal":{"name":"2010 2nd International Symposium on Information Engineering and Electronic Commerce","volume":"13 1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 2nd International Symposium on Information Engineering and Electronic Commerce","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IEEC.2010.5533196","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
