Sequentialization of parallel logic programs with mode analysis

This publication has 9 references indexed in Scilit:

• Message-oriented parallel implementation of Moded Flat GHC
  New Generation Computing, 1993
• A compile-time granularity analysis algorithm and its performance evaluation
  New Generation Computing, 1993
• Global analysis for partitioning non-strict programs into sequential threads
  Published by Association for Computing Machinery (ACM) ,1992
• Architectural support for the management of tightly-coupled fine-grain goals in flat concurrent Prolog
  Published by Association for Computing Machinery (ACM) ,1990
• The family of concurrent logic programming languages
  ACM Computing Surveys, 1989
• Static inference of modes and data dependencies in logic programs
  ACM Transactions on Programming Languages and Systems, 1989
• Automatic mode inference for logic programs
  The Journal of Logic Programming, 1988
• Parallel Programming and Compilers
  Published by Springer Nature ,1988
• PARLOG: parallel programming in logic
  ACM Transactions on Programming Languages and Systems, 1986