|
|||||
|
|
| 基于演绎与知识协调结合的程序自动综合 | |
| 引用本文： | 王立国.基于演绎与知识协调结合的程序自动综合[J].北京航空航天大学学报,1988(4). |
| 作者姓名： | 王立国 |
| 基金项目： | 国家自然科学基金，国家科委高技术智能机研究项目 |
| 摘 要： | 本文提出一个结构式的规范推导——定理证明演绎系统和一个程序设计知识库,它们用于支持程序自动综合。讨论了程序自动综合中的演绎与知识的协调和自学习问题。用PROLOG程序自动综合实例——由同一规范推导出三个reverse程序——展示了我们的方法。 |
| 本文献已被 CNKI 等数据库收录！ | |