论文部分内容阅读
本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法，并就其中的别名处理问题和定点计算问题进行了详细的讨论提出了一种正确，有铲的别名自理方法以及基于”护展表“的定点求解算法。该方案已用Ｐｒｏｌｏｇ语言实现。
逻辑程序的自动模式推导
【摘 要】
：
本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法，并就其中的别名处理问题和定点计算问题进行了详细的讨论提出了一种正确，有铲的别名自理方法以及基于”护展表“
【机 构】
：
北京工业大学计算机科学与工程系
【出 处】
：
计算机研究与发展
【发表日期】
：
1996年2期
【基金项目】
：
国家自然科学基金,国家“863”高技术项目
其他文献
计算机辅助协同工作（ＣＳＣＷ）的出现，反映了人们对计算机功能需求的改变，即希望计算机从传统的解决计算问题发展为辅助用户的交互活动。本文介绍了计算机辅助协同工作的概念，着重从人机接
基于孙子定理，本文提出一个素数存储系统方案。该方案既不浪费存储空间，且为实本系统仅需计算“ｄｍｏｄｐ”，而无需计算商。因此，本系统是一高效存储方案。
中国民间舞蹈是中国文化的重要组成部分，它是中国各族人民在生产和生活实践中，把自己对时代生活的感受融入表演艺术之中的舞蹈艺术形式。民间舞本身所独有的特色是其生命的源和
本文首先提出一个能够支持多分支循环程序最优执行的ＶＬＩＷ体系结构模型，然后在这个模型的基础上设计了一个新的主要用于数字信号处理及图象处理应用领域的单片体系结构－ＵＲＰＲ－２。在这个体系
经眶颅脑损伤是颅脑损伤中特殊类型,常发生于儿童,急性起病,一般能够及时就医,而损伤后无明显症状,以慢性炎性肉芽肿起病较少见。现将南昌大学第一附属医院收治的1例经眶颅脑
函数依赖在关系数据库中起着基本的作用．尤其是用在完整性约束和数据库设计方面。近年来已定义了XML上的函数依赖。本文采用了一种新的定义方式，即在树元组上定义函数依赖．同时
本文基于模拟退火思想，提出一种解旅行商问题的并行算法，并在Ｔｒａｎｓｐｕｔｅｒ多处理机系统上实现，该算法具有较高的优化程度和较快的运算速度。
用壳聚糖对黄瓜汁进行澄清试验,研究了壳聚糖用量、pH、温度等工艺条件对黄瓜汁澄清效果的影响,并通过正交试验确定壳聚糖澄清黄瓜汁的最适工艺条件为:壳聚糖用量0.5g/L、温
本文从互联网发展中的现实问题出发，说明了IPv4技术难以满足网络的应用与服务，及其存在的不足。强调了IPv6技术的迫切性，并进一步阐述了IPv6技术的特点、原理和应用。