ISCAS OpenIR
formal derivation of two algorithms involving sequences
Shi Haihe; Xue Jinyun
2011
会议名称2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011
会议录名称Proceedings - 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011
页码287-291
会议日期May 16, 20
会议地点Sanya, Hainan Island, China
收录类别EI
ISBN9780769544014
部门归属(1) Institute of Software Chinese Academy of Sciences Beijing 100190 China; (2) Provincial Key Lab. for High-Performance Computing Technology Jiangxi Normal University Nanchang 330022 China; (3) Graduate University Chinese Academy of Sciences Beijing 100049 China
摘要Using formal method PAR, two algorithms involving sequences, a majority problem deterministic algorithmic solution and computing the mode, are derived. From formal functional specifications, problems are partitioned into sub-problems, problem solving recurrences are constructed through formal specification transformation, and then loop invariants are achieved naturally, the algorithms that can be further transformed into executable programs supported by PAR platform are obtained. Formal derivation using PAR makes the algorithm idea is exhibited naturally and clearly. © 2011 IEEE.; Using formal method PAR, two algorithms involving sequences, a majority problem deterministic algorithmic solution and computing the mode, are derived. From formal functional specifications, problems are partitioned into sub-problems, problem solving recurrences are constructed through formal specification transformation, and then loop invariants are achieved naturally, the algorithms that can be further transformed into executable programs supported by PAR platform are obtained. Formal derivation using PAR makes the algorithm idea is exhibited naturally and clearly. © 2011 IEEE.
关键词Algorithms Information Science Problem Solving Specifications
主办者IEEE Computer Society; Int. Assoc. Comput. Inf. Sci. (ACIS); Institute of Electrical and Electronics Engineers (IEEE); Hainan University
语种英语
内容类型会议论文
URI标识http://ir.iscas.ac.cn/handle/311060/16248
专题中国科学院软件研究所
推荐引用方式
GB/T 7714
Shi Haihe,Xue Jinyun. formal derivation of two algorithms involving sequences[C],2011:287-291.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[Shi Haihe]的文章
[Xue Jinyun]的文章
百度学术
百度学术中相似的文章
[Shi Haihe]的文章
[Xue Jinyun]的文章
必应学术
必应学术中相似的文章
[Shi Haihe]的文章
[Xue Jinyun]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。