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 |
| 会议日期 | JUL 30-AUG |
| 会议地点 | Qungdao, PEOPLES R CHINA |
| 关键词 | High level languages Invariance Logic programming Mathematical models Systems analysis |
| 页码 | 952-957 |
| 英文摘要 | 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 |
| 会议主办者 | Int Assoc Comp & Informat Sci, Cent Michigan Univ, Qingdao Technol Univ |
| 会议录 | Proceedings - SNPD 2007: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing
 |
| 会议录出版者 | SNPD 2007: Eighth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, Vol 3, Proceedings |
| 会议录出版地 | 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA |
| ISBN号 | 769529097 |
| 源URL | [http://124.16.136.157/handle/311060/10972]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _会议论文 |
| 推荐引用方式 GB/T 7714 | Shi Haihe,Xue Jinyun. towards semi-automatic generation of provably correct algorithmic programs[C]. 见:8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing/3rd ACIS International Workshop on Self-Assembling Wireless Networks. Qungdao, PEOPLES R CHINA. JUL 30-AUG. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。