A methodology for detecting shared variable dependencies in logic programs
Journal of Symbolic Computation
Dataflow and Logicflow Models for Defining a Parallel Prolog Abstract Machine
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Hi-index | 0.00 |