首页> 中文期刊>计算机学报 >基于二阶项重写技术的逻辑自动编程理论

基于二阶项重写技术的逻辑自动编程理论

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S时,ALP能自动导出所需子程序的输入-输出实例并综合出所需子程序.

著录项

来源
《计算机学报》|1993年第3期|161-170|共10页
作者
孙怀民; 梁群;
展开▼
作者单位

不详;

不详;

展开▼
原文格式 PDF
正文语种 CHI
中图分类 TP311.51;
关键词
二阶项; 重写技术; 自动程序设计;
入库时间 2023-07-25 14:02:44

相似文献

中文文献
外文文献
专利

1. 基于重写技术的自动定理证明 [J] . 张健 . 计算机科学 . 1992,第002期
2. 无线通信技术工作委员会召开第16次全会，“基于IMS的即按即说（PoC）业务设备技术要求（第二阶段）”等25项通信行业标准草案通过全会审查 [J] . . 现代传输 . 2008,第005期
3. 基于重写逻辑的PKMv3协议形式化建模与验证 [J] . 佘葭 ,张民 . 计算机应用与软件 . 2017,第011期
4. 基于重写逻辑的UML模型一致性检查方法 [J] . 尹剑飞 ,郭荷清 ,欧毓毅 . 计算机工程 . 2006,第008期
5. 基于改进的网重写系统的Petri网逻辑控制器的自重构方法 [J] . 李俊 ,戴先中 ,孟正大 . 南京理工大学学报（自然科学版） . 2005,第0z1期
6. 一种基于项重写的密码模块API安全性检测算法 [C] . 刘波 ,陈华 . 中国密码学会2012年会 . 2012
7. 基于项重写技术的规格和模型检测研究 [A] . 聂锡宁 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号