【摘 要】
:
形式规范和程序生成是自动程序设计的两个关键问题,通过形式规范的引导可以正确地生成程序。本文首先讨论与形式规范相关的三个问题:形式规范方法,形式规范生成和形式规范正
【机 构】
:
中国科学院数学所,吉林大学计算机系
论文部分内容阅读
形式规范和程序生成是自动程序设计的两个关键问题,通过形式规范的引导可以正确地生成程序。本文首先讨论与形式规范相关的三个问题:形式规范方法,形式规范生成和形式规范正确性;然后讨论从形式规范生成目标程序的技术以及程序正确性问题。更多还原
其他文献
过去三十年中,操作系统几经大变后,其结构已相对稳定。我们目睹了操作系统从单用户到多道处理,到分时,再到独立于机器之发展。我和我的同事们认为操作系统的另一次演变即将发
<正> 一引言 1 DES出现的必然性专家系统(ES)以其固有的理论研究价值在AI和计算机科学中占着重要地位,它使一类新问题可由计算机求解。同时ES以其高性能(在专门领域达到专家
我们给出了一种能处理不确定性和近似推理的推理机制的VLSI实现。为了有效和实时应用,设计是以模糊集合论中的“极大极小运算”为基础的,这种推理机制能处理不精确和不确定的
<正> 综观三十年来开发的程序设计语言不难发现,至今在计算机领域内占主导地位的仍是当初就已形成的冯·诺依曼程序设计风格的命令型语言,象FORTRAN、COBOL、BASIC、ALGO
4GLs是八十年代的新一代计算机语言,它的基本特征是非过程性并获得数据库功能。在编码生产上比COBOL高一个数量级,很适合于最终用户使用,但它要高消耗硬件资源,也不很适合于
本文通过分析现有词典匹配汉语词切分法及相应切分错误检出与纠正方法的现状及不足,提出了一种基于后加词典,利用句法语义知识的汉语词切分检纠错方法,这种方法旨在将词切分
<正> 一、引言不精确推理是人工智能中的一个重要问题,其目的是要寻求一种形式化的方法,能很好的表达各种不精确知识,并且能有效地利用这些知识进行推理,同时计算过程简单易
<正> 一.引言学习是人类智能的一个最基本也是最为重要的方面,所以以模拟人类智能的基本机理、开发更为“聪明”的计算机系统为目标的人工智能研究从一开始(1956年)就一直注
模湖性是自然语言的一个固有性质,它也是产生不确定性的一个重要原因,因此能够有效地处理这种不确定性的近似推理方法,正在受到越来越多的人的重视。本文简要地介绍了这个理
程序设计语言与操作系统引入抽象概念使程序员可以忽略实现细节。支撑抽象的主要目的不只是提高实现效率,而且也提供必要的保护以避免违背抽象。由于对效率的狂热追求,第二个