PaperA model for the parallel execution of subset-equational languages
References (30)
- et al.
Rewrite systems
On functional languages and parallel computers
Future Generation Computer Syst.
(1991)Semantic confluence tests and completion methods
Information and Control
(1985)- et al.
Architectural design of the rewrite rule machine
- et al.
Managing resources in a parallel machine
Nondeterminism with referential transparency in functional languages
Comput. J.
(1988)- et al.
PARLOG: Parallel programming in logic
ACM Trans. Programming Languages and Systems
(1986) A comparative study of unification algorithms for or-parallel execution of logic languages
IEEE Trans. Comput.
(1985)
Dataflow program graphs
IEEE Comput.
(1982)
Computing with rewrite rules
Information and Control
(1985)
An active rewrite model for parallel computation
Concurrent rewriting as a model of computation
Purely functional operating systems
Cited by (0)
Copyright © 1995 Published by Elsevier B.V.