关于实用的程序综合

本文首先就此题目进行简单的历史性述评和非形式的介绍,接着回顾理论上的新成果,指出如何从存在性证明推导高级语言程序,进而引入一个简单的形式体系,用它来论述树结构、语义网络、顺序文件、数据库和编译程序中语义属性处理程序的综合技术。     

基于轨迹的归纳程序综合

本文讨论了NDIPS系统中基于轨迹的归纳程序综合方法。该方法对问题求解机制产生的或手工给出的程序执行轨迹,使用匹配识认算法找出其递归关系,进而生成目标程序,文章从理论和实现上对这种方法进行了探讨,用hanoi程序的归纳综合为例展示了方法的使用。     

一种程序综合方法

通过证明程序规约的方法可构造相应程序，但对“难题”和无证明的规约，无法使用这种方法构造程序，另一方面，如果可构造程序规约的验证程序，则可把这种程序看成该仙约的程序。本文讨论了程序规约的验证程序的构造方法，作为研究程序自动佛的一种途径。     

归纳程序综合系统NDIPS的设计

本文讨论了软件自动化归纳途径的现状、症结和解决方法,介绍了归纳程序综合系统NDIPS的设计思想和实现技术,强调了系统中自动归纳程序的关键技术。     

基于规范演绎的结构式程序综合

本文中提出一个用于程序综合的构造证明系统,规范演绎.这是一个层次化的由规范推导到定理证明的演绎系统.基于这种方法,程序综合成为一个结构式的证明过程.用逻辑程序的自动综合为例展示了这些方法.     

基于Tableau方法的程序综合系统——DTPS

本文简单介绍了基于Ｔａｂｌｅａｕ方法的程序综合系统－ＤＴＰＳ．ＤＴＰＳ系统以定理证明为基础，为构造一个满足程序规约的程序，只需证明的确存在一个满足条件的对象。如果这个证明存在，那么从证明中可抽取出一个满足该程序规约的程序。     

模式推理在归纳程序综合中的应用

本文给出了利用模式推理技术检查归纳假设合理性的若干判定条件.由于这种检查属于语法范畴,故能由系统自动完成,从而降低了假设相容性测试的开销,提高了逻辑程序归纳综合的效率.     

Cornell程序综合器语法制导程序设计环境

程序并不是正文文本,而是具有分层的计算结构,并且应该在自始致终承认和支持这种观点的环境中编辑、执行和调试。Cornell 程序综合器要求在程序开发的所有阶段都是结构化的。综合器的各种特性均以程序设计语言的语法为基础,并且将全屏幕派生树编辑器与语法制导的诊断解释器相结合,使得综合器成为一个强有力的、应答式的交互型程序设计工具。     

数据库文件的结构描述与功能

数据库文件的结构描述与功能孙江，陶影（东北大学信息学院沈阳１１０００６）随着微型计算机的高速发展，中文ＦＯＸＢＡＳＥ关系型数据库管理系统应用越来越广泛。在应用系统中，都是围绕数据库文件来操作，数据库文件起着一个举足轻重的作用，了解和掌握数据库文件的结...     

三、PostScript图形描述功能

<正> 3.1 前言上一章我们把PostScript作为一般的程序设计语言。这一章着重讨论它作为页面描述语言即要在光栅转出设备上进行页面描述必须具有的语言功够扩充,这些扩充包括某些另外的数据结构和一组数量可观的专用操作符,这里描述的功能既适用于显示器,又适用于打印机。 PostScript图形操作符分成六个主要部分:     

COBOL数据通信功能导引(上)

本文从应用软件的角度论述COBOL通信模块的语法、语义,及其所提供的功能,包括通信节的定义,RECEIVE、SEND等通信语句的使用方法等。同时结合个人实践中的体会,介绍在利用COBOL数据通信功能进行应用程序设计中一些值得注意的问题。本文以目前国际上广为使用的ISO COBOL 78文本为准,此外也给出了最新发表的ANSI COBOL 81文本(草案)的改进之处。本文假定读者已具备COBOL的基本知识。     

COBOL数据通信功能导引(下)

三、通信模块的过程部通信模块的过程部共有五个语句,其中较重要的是RECEIVE及SEND语句。应用程序利用这些语句执行与报文有关的各种输入、出动作。如果把报文源或报文目的地看成是一种特殊的数据发生或存储设备,把报文看成是一种特殊的文件记录形式,那末RECEIVE语句的作用相当于READ语句,而SEND则相当于WRITE。所不同的是:其一,数据通信中除了报文本身外还涉及大量与通信动作有关的执行信息;其二,报文的格式及长度是动态变化的,而常规文件记录的格式及长度一般是固定的,其三,通信输出动作的执行对象是远距离外的通信设备而不是中央机机房内的成批处理输出设备,因此既使有关输出的语句已正确执行完毕,仍不能最终保证该     

复杂信息系统功能需求的Petri网描述

功能需求分析是信息系统开发建设的第一个环节,需求分析的好坏直接影响系统的成败.由于信息系统所具有的分布特性,其功能需求描述必须考虑信息处理和通信两方面.本文从信息系统的功能分析入手,提出了一种用Petri网建立信息系统功能需求的可执行描述的方法.