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

Authors:
Amadeo Casas;Manuel Carro;Manuel Hermenegildo
Affiliations:
University of New Mexico, Albuquerque, NM (USA);Universidad Politecnica de Madrid, Madrid (Spain);University of New Mexico, Albuquerque, NM (USA) and Universidad Politecnica de Madrid, Madrid (Spain)
Venue:
Proceedings of the 2007 international workshop on Parallel symbolic computation
Year:
2007

Implementing Thread Cancellation in Multithreaded Prolog Systems

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages
Concurrent programming constructs in multi-engine prolog: parallelism just for the cores (and not more!)

Proceedings of the sixth workshop on Declarative aspects of multicore programming
Coordination and concurrency in multi-engine prolog

COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages
The binprolog experience: Architecture and implementation choices for continuation passing prolog and first-class logic engines

Theory and Practice of Logic Programming - Prolog Systems

Hi-index	0.00