Institutional Repository
| formal derivation of two algorithms involving sequences | |
| Shi Haihe; Xue Jinyun | |
| 2011 | |
| Conference Name | 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011 |
| Source | Proceedings - 2011 10th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2011 |
| Pages | 287-291 |
| Conference Date | May 16, 20 |
| Conference Place | Sanya, Hainan Island, China |
| Indexed Type | EI |
| ISBN | 9780769544014 |
| Department | (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 |
| English Abstract | 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. |
| Keyword | Algorithms Information Science Problem Solving Specifications |
| Sponsorship | IEEE Computer Society; Int. Assoc. Comput. Inf. Sci. (ACIS); Institute of Electrical and Electronics Engineers (IEEE); Hainan University |
| Language | 英语 |
| Content Type | 会议论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/16248 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | Shi Haihe,Xue Jinyun. formal derivation of two algorithms involving sequences[C],2011:287-291. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment