A methodology for granularity-based control of parallelism in logic programs

Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

A Run-Time System for Dynamic Grain Packing

Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing

When Size Does Matter

LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation

A SCOOPP Evaluation on Packing Parallel Objects in Run-Time

VECPAR '00 Selected Papers and Invited Talks from the 4th International Conference on Vector and Parallel Processing

PAN: a portable, parallel prolog: Its design, realisation and performance

New Generation Computing

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)

Towards a high-level implementation of flexible parallelism primitives for symbolic languages

Proceedings of the 2007 international workshop on Parallel symbolic computation

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Concurrency, Graphs and Models

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

Logic-Based Program Synthesis and Transformation

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism

ICLP '08 Proceedings of the 24th International Conference on Logic Programming

Non-strict independence-based program parallelization using sharing and freeness information

Theoretical Computer Science

User-Definable Resource Usage Bounds Analysis for Java Bytecode

Electronic Notes in Theoretical Computer Science (ENTCS)

Program development using abstract interpretation (and the ciao system preprocessor)

SAS'03 Proceedings of the 10th international conference on Static analysis

Towards a high-level implementation of execution primitives for unrestricted, independent and-parallelism

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages

Oracle scheduling: controlling granularity in implicitly parallel languages

Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

Controlling loops in parallel mercury code

DAMP '12 Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming

Using combined static analysis and profiling for logic program execution time estimation

ICLP'06 Proceedings of the 22nd international conference on Logic Programming

An overview of ciao and its design philosophy

Theory and Practice of Logic Programming - Prolog Systems

Determinacy analysis for logic programs using mode and type information

LOPSTR'04 Proceedings of the 14th international conference on Logic Based Program Synthesis and Transformation

Combining static analysis and profiling for estimating execution times

PADL'07 Proceedings of the 9th international conference on Practical Aspects of Declarative Languages