| PAR平台从规约出发的算法推导与自动生成 |
| |
| 引用本文： | 王昌晶,薛锦云.PAR平台从规约出发的算法推导与自动生成[J].计算机工程与应用,2007,43(2):41-42,59. |
| |
| 作者姓名： | 王昌晶 薛锦云 |
| |
| 作者单位： | 中国科学院,软件研究所,北京,100080;江西师范大学,计算机信息与工程学院,南昌,330027 |
| |
| 基金项目： | 国家自然科学基金
,
国家重点基础研究发展计划(973计划)
,
江西省教学改革课题项目
,
江西师范大学校科研和教改项目 |
| |
| 摘 要： | 简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算法程序的正确性和开发效率,也有助于深刻地理解算法设计思想。
|
| 关 键 词： | PAR方法 PAR平台 规约 形式推导 |
| 文章编号： | 1002-8331（2007）02-0041-02 |
| 修稿时间： | 2006-09 |
Algorithmic derivation and automatic generation from specification on PAR platform |
| |
| WANG Chang-jing,XUE Jin-yun.Algorithmic derivation and automatic generation from specification on PAR platform[J].Computer Engineering and Applications,2007,43(2):41-42,59. |
| |
| Authors: | WANG Chang-jing XUE Jin-yun |
| |
| Affiliation: | 1.Institute of Software,Chinese Academy of Science,Beijing 100080, China; 2.School of Computer information and Engineering,Jiangxi Normal University,Nanchang 330027 , China |
| |
| Abstract: | Briefly introduce the PAR approach and its supporting platform,then derive and generate two typical algorithmic programs from specification using it.The PAR approach and its platform expresses function specification by first prediction logic, formally derives algorithm by partition and recurrence,and automatic generate algorithmic program by diversified transformation systems.h distinctly improves correctness of algorithmic programs and development effficiency,does favor to profoundly understand soul of algorithmic design. |
| |
| Keywords: | PAR approach PAR platform specification formal derivation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
