FC机:CD-FFP 2的抽象并行图归约机

已提出的图归约机的基础是Currg 的合成逻辑(简称C 逻辑),但是在图归约机中用C 逻辑中的组合子定义作为归约规则似乎过于烦琐。我们提出的CD-FFP2(FFP 的方言)的抽象并行图归约机——FC 机,它的基础是FFP 高级合成逻辑。用FFP 高级合成逻辑中的组合子定义作为并行图归约机的归约规则有许多突出的优点。这为具体实现FFP 语言的体系结构奠定了基础。

并行图归约机中智能存储系统的设计与研究

本文介绍了并行图归约(PGR)机中智能存储系统的设计方案。智能存储系统不仅能响应高级访存命令,依存储信息自动实现操作变换;而且能独立完成自己的存储管理任务.进行存储空间的动态分配和回收。文章提出了一种有效的无用单元回收方法,使得回收工作能够分布并行地高效执行。智能存储系统的引入,实现了计算与存储访问,计算与存储管理的并行执行。

DDFP语言的归约机实现技术

ＤＤＦＰ语言是一种基于表达式的泛函程序设计语言，这是一种具有归的语义的、引用透明的、能表达无限数据结构、高阶纯粹的函数式语言。它的实现是基于λ演算、ＳＬＩ演算、ＳＫＬ－Ｇ演算、ＬＮＦ演算及图归约技术。本文在［４］的基础上首先引出了ＬＮＦ演算，而后详细介绍了该语言的归约机实现技术，对结果作了讨论。

SFCM:支持逻辑程序设计语言S-Prolog的抽象图归约机

本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。最后,我们讨论了SFCM的实现,并通过实验给出它的性能测试结果。

论第五代计算机系统结构

自1972年第一台微处理器诞生以来,每片芯片内的功能元件数目,单片存贮器容量,性能价格比和可靠性都得到了迅速增加和提高,这些都为计算机硬件的更新换代提供了基础。目前硬件发展的主要动力,可以说是将常规的处理器和存贮器结构越来越多地压缩在硅片中。这导致了一个很宽的“语义空隙”。这个空隙存在于一台计算机的高级需求和它的低级体系结构之间。五代计算机发展的动力之一就是要缩小这个语义空隙,因此五代计算机,应对现有Von Neumann模式的系统的结构有重大突破。