| towards semi-automatic generation of provably correct algorithmic programs |
| Shi Haihe; Xue Jinyun
|
| 2007
|
| 会议名称 | 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing/3rd ACIS International Workshop on Self-Assembling Wireless Networks
|
| 会议录名称 | Proceedings - SNPD 2007: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
|
| 页码 | 952-957
|
| 会议日期 | JUL 30-AUG
|
| 会议地点 | Qungdao, PEOPLES R CHINA
|
| 出版地 | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA
|
| 出版者 | SNPD 2007: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Vol 3, Proceedings
|
| ISBN | 769529097
|
| 部门归属 | Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China.
|
| 摘要 | The paper gives an overview of a PAR-based Algorithm Design System PADS. PADS provides formal and semi-automatic support for the generation of algorithmic programs as well as loop invariants. It has several extensible built-in libraries that c |
| 关键词 | High Level Languages
Invariance
Logic Programming
Mathematical Models
Systems Analysis
|
| 主办者 | Int Assoc Comp & Informat Sci, Cent Michigan Univ, Qingdao Technol Univ
|
| 内容类型 | 会议论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/10972
|
| 专题 | 基础软件与系统重点实验室
|
推荐引用方式
GB/T 7714 |
Shi Haihe,Xue Jinyun. towards semi-automatic generation of provably correct algorithmic programs[C]. 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA:SNPD 2007: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Vol 3, Proceedings,2007:952-957.
|
修改评论