Sciweavers

64
Voted
ICLP
1989
Springer
15 years 12 days ago
Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism
It has been shown that it is possible to exploit Independent/Restricted And-parallelism in logic programs while retaining the conventional "don't know" semantics of...
Kalyan Muthukumar, Manuel V. Hermenegildo
63
Voted
ICLP
1989
Springer
15 years 29 days ago
A Simple Code Improvement Scheme for Prolog
The generation of efficient code for Prolog programs requires sophisticated code transformation and optimization systems. Much of the recent work in this area has focussed on hig...
Saumya K. Debray
46
Voted
ICLP
1989
Springer
15 years 29 days ago
Constraint Hierarchies and Logic Programming
Alan Borning, Michael J. Maher, Amy Martindale, Mo...