×

术语:方程式语言的并行可执行图形约简机。 (英语) Zbl 0681.68035号

摘要:我们设计并实现了一台名为TERM的机器,以便并行执行等式语言。方程语言是基于方程逻辑的非过程语言,是逻辑、代数和函数编程语言的典型计算模型。为了快速执行等式语言,提出了两种硬件系统。一个是字符串约简类型,另一个是图形约简类型。字符串缩减类型更容易实现,图形缩减类型执行速度更快。TERM使用后一种方法。我们开发了一个用于执行等式语言的程序CCM(同余闭包方法)。CCM将等式语言的程序转换为图形结构。然后,它寻找适用的方程,并并行地重写这个图。TERM是CCM的一种实现,它使用交叉开关网络来表示图形结构。TERM可以执行CCM中设想的部分并行性。我们展示了TERM和CCM的优点和缺点。

MSC公司:

68N25号 操作系统理论
68瓦30 符号计算和代数计算
03C05号机组 模型理论中的方程类、泛代数
68N99型 软件理论
03年3月 星期四和邮政系统等。
PDF格式BibTeX公司 XML格式引用
全文: 内政部