论文部分内容阅读
该文简单介绍基于ｔａｂｌｅａｕ方法的程序综合系统－－ＤＴＰＳ。ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规格的程序，只需证明的确存在一个满足条件的对象。如果这个证明存在，那么从证明抽取出来的程序不仅满足程序规格，而且可以保证没有逻辑错误。
程序综合系统--DTPS
【摘 要】
：
该文简单介绍基于ｔａｂｌｅａｕ方法的程序综合系统－－ＤＴＰＳ。ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规格的程序，只需证明的确存在一个满足条件的对象。如果这个证明存在，那么从证明抽取出来的程序
【机 构】
：
大学计算机科学系(长春)
【出 处】
：
第六次全国软件工程学术会议
【发表日期】
：
1996年期
其他文献
该文首次提出二维表式电子计算机语言—G语言。它是在G算法的基础上产生的；是可用以编程的用户源语言。一方面，G语言可通过高级汇编程序G生成对应的汇编语言或BASIC语言；另一方
该文通过对人类习得语言及其思维形式、探求问题信息处理的心理学因素分析，对照会话式逻辑型语言Prolog，指出这种语言对于以知识信息处理为目标的新一代计算机来说，存在着成人思
目的:探究慢性丙型肝炎(CHC)患者血清五聚蛋白3(PTX3)的表达水平，并分析PTX3对肝纤维化分期诊断的临床意义。方法:选取2016年9月至2019年10月济宁医学院附属医院消化内科收治
材料的交流阻抗随外加直流磁场的改变而变化的特性称为磁阻抗效应．在软磁合金中，这种效应是快响应、高灵敏度的，因而被称为巨磁阻抗效应．文章简单介绍了这一效应产生的基本原理、
介绍一种基于知识的计算机程序转换方法，该方法利用中间数据结构，采用专家系统程序设计技术及程序自动生成技术，实现了知识与控制的分离，是一种通用的计算机程序转换方法。