PAR平台从规约出发的算法推导与自动生成

王昌晶薛锦云开通知网号

【摘要】： 简要介绍PAR方法及其支撑平台,使用PAR方法及其平台从规约出发形式化推导并生成了两个典型的算法程序。PAR方法及其平台使用一阶谓词逻辑表示功能规约,分划与递推来进行算法形式推导,各种转换系统来自动生成算法程序。这显著地提高了算法程序的正确性和开发效...

下载App查看全文

CAJViewer阅读器支持CAJ、PDF文件格式，AdobeReader仅支持PDF格式

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南

	【引证文献】
	【引证文献】

	【参考文献】
	【参考文献】

	【共引文献】
	【共引文献】