The connection machine
Implementation of subset-equational programs
Journal of Logic Programming
Exploiting implicit parallelism of logic languages with the SAM
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage
ACM Transactions on Programming Languages and Systems (TOPLAS)
Data Parallelism in Logic Programming
ICLP '91 Pre-Conference Workshop on Parallel Execution of Logic Programs
Data structures for parallel execution of functional languages
PARLE '89 Proceedings of the Parallel Architectures and Languages Europe, Volume II: Parallel Languages
| Hi-index | 0.00 |