formal derivation of two algorithms involving sequences

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
ISBN	9780769544014
部门归属	(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.