A relational language for parallel programming
A relational language for parallel programming
复制标题
用于并行编程的关系语言
DOI：
10.1145/800223.806776
复制
发表时间：
1981
期刊：
影响因子：
2.2
通讯作者：
S. Gregory
中科院分区：
文献类型：
--
作者：
K. Clark;S. Gregory
并行程序通常定义关系而不是函数。该程序将输出限制在与输入的某种关系R中，但是在计算期间产生的特定输出可以依赖于组件进程的时间行为。这建议使用关系语言作为并行编程的应用语言。
A parallel program often defines a relation not a function. The program constrains the output to lie in some relation R to the input, but the particular output produced during a computation can depend on the time behaviour of component processes. This suggests the use of a relational language as an applicative language for parallel programming.
The Horn clause subset of predicate logic is a relational language with an established procedural interpretation for non-deterministic sequential computations [Kowalski 1974]. In this paper we modify and extend that interpretation to define a special purpose parallel evaluator.