| 一种基于知识的由实例综合程序的方法 |
| |
| 引用本文： | 朱鸿,金凌紫.一种基于知识的由实例综合程序的方法[J].计算机学报,1991,14(6):432-444. |
| |
| 作者姓名： | 朱鸿 金凌紫 |
| |
| 作者单位： | 南京大学软件研究所，南京大学计算机科学系 南京 210008，南京 210008 |
| |
| 基金项目： | 国家教委优秀青年教师基金，国家自然科学基金 |
| |
| 摘 要： | 本文提出了一种由输入/输出实例综合J.Backus提出的函数式程序设计系统FP程序的方法.基于程序正交展开的理论,程序综合问题可转化为求解一组程序方程,这组方程可以根据关于程序间等价性的知识求解,从而确定综合结果.本文给出了求解程序方程所需的知识,给出了综合策略,并举例说明了用该方法进行程序综合的过程.
|
| 关 键 词： | 知识 程序综合 软件自动化 |
A KNOWLEDGE-BASED APPROACH TO PROGRAM SYNTHESIS FROM EXAMPLES |
| |
| Zhu Hong and Jin Lingzi.A KNOWLEDGE-BASED APPROACH TO PROGRAM SYNTHESIS FROM EXAMPLES[J].Chinese Journal of Computers,1991,14(6):432-444. |
| |
| Authors: | Zhu Hong and Jin Lingzi |
| |
| Abstract: | An approach to synthesize functional programs of Backus' FP system from input/output instances is proposed. Based on a theory of orthogonal expansion of programs, the task of program synthesis is expressed in program equations, and fulfilled by solving them according to the knowledge about the equivalence between programs. Some general knowledge of solving program equations and synthesis strategy are given and illustrated by examples. |
| |
| Keywords: | Software automation program synthesis functional programming algebra of programs solutions of equations of programs |
| 本文献已被 CNKI 维普 等数据库收录！ |
