沈宁川
- 作品数：6 被引量：1H指数：1
- 供职机构：电子科技大学计算机科学与工程学院计算机系更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 递归函数中的 Cache
- 1990年
- 由于 FFP 表达式具有引用透明性,对于给定的表达式每次计算都得到同样的结果,所以每一个值只需计算一次.然而,由于 FFP 语言支持递归程序,FC-机在处理递归结点时需要拷贝代码,运行时很难检查共享计算,因此可能导致重复计算,为此人们提出了用“记忆函数”(memo function)来解决这一问题.本文主要介绍如何在 FC-机中,利用 Cache 来实现“记忆函数”。最后给出了性能分析和在FFP 系统上的实际测试结果。
- 沈宁川王晓斌
- 关键词：递归函数记忆函数CACHE
- FCC中的“灰尘”回收
- 1993年
- 本文提出了FCC中的灰尘概念及其回收算法,完善了FCC的垃圾回收系统.最后给出了有关FCC垃圾回收算法及灰尘回收算法效率的测试结果。
- 沈宁川
- 关键词：FCC
- FC机:CD-FFP 2的抽象并行图归约机被引量：1
- 1991年
- 已提出的图归约机的基础是Currg 的合成逻辑(简称C 逻辑),但是在图归约机中用C 逻辑中的组合子定义作为归约规则似乎过于烦琐。我们提出的CD-FFP2(FFP 的方言)的抽象并行图归约机——FC 机,它的基础是FFP 高级合成逻辑。用FFP 高级合成逻辑中的组合子定义作为并行图归约机的归约规则有许多突出的优点。这为具体实现FFP 语言的体系结构奠定了基础。
- 沈宁川
- 关键词：函数语言
- FCC:多处理机上的并行图归约
- 1991年
- FCC是在多处理机上实现的FC 机。FC 机是CD-FFP2(FFP 的方言)的抽象并行图归约机。本文详细描述了如何在一个具有共享存储器的多处理机上实现CD-FFP2的并行图归约。
- 沈宁川
- 关键词：多处理机计算机
- SFCM:支持逻辑程序设计语言S-Prolog的抽象图归约机
- 1993年
- 本文简单介绍了逻辑程序设计语言S-Prolog,并提出了支持它的抽象图归约机SFCM。S-Prolog 是Prolog的发展,而SFCM是FCM——函数程序设计语言CD-FFP2的抽象图归约机的发展。我们设计SFCM的目的是为了使函数和逻辑语言在抽象机这一层次上统一起来。最后,我们讨论了SFCM的实现,并通过实验给出它的性能测试结果。
- 沈宁川
- 关键词：程序语言
- FCC中的惰性计算
- 1992年
- 由于FFP语言中存在着非严格(non-strict)函数,所以用紧迫计算(eager evaluation)方式计算非严格函数,不仅降低了执行效率,而且还可能导致计算失败.为此,本文又提出了几个在FCC中实现对某些非严格函数进行惰性计算的归约规则,并在Micro-VAX3500上比较了用惰性计算的方式和用紧迫计算的方式来计算一个非严格函数的执行效率.
- 沈宁川
- 关键词：FCC
