Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism

This publication has 21 references indexed in Scilit:

• High-level languages for small devices
  2006
• A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
  2006
• Parallel execution of prolog programs
  ACM Transactions on Programming Languages and Systems, 2001
• Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming
  Parallel Computing, 2000
• Independence in CLP languages
  ACM Transactions on Programming Languages and Systems, 2000
• Relating data-parallelism and (and-) parallelism in logic programs
  Computer Languages, 1996
• The &-Prolog system: Exploiting independent and-parallelism
  New Generation Computing, 1991
• An abstract machine for restricted AND-parallel execution of logic programs
  1986
• MULTILISP: a language for concurrent symbolic computation
  ACM Transactions on Programming Languages and Systems, 1985
• Executing functional programs on a virtual tree of processors
  1981