TY - GEN
T1 - Towards independent and-parallelism in CLP
AU - Garcia De La Banda, Maria Jose
AU - Bueno, Francisco
AU - Hermenegildo, Manuel
PY - 1996
Y1 - 1996
N2 - In this paper we propose a complete scheme for automatic exploitation of independent and-parallelism in CLP programs. We first discuss the new problems involved because of the different properties of the independence notions applicable to CLP. We then show how independence can be derived from a number of standard analysis domains for CLP. Finally, we perform a preliminary evaluation of the efficiency, accuracy, and effectiveness of the approach by implementing a parallelizing compiler for CLP based on the proposed ideas and applying it on a number of CLP benchmarks.
AB - In this paper we propose a complete scheme for automatic exploitation of independent and-parallelism in CLP programs. We first discuss the new problems involved because of the different properties of the independence notions applicable to CLP. We then show how independence can be derived from a number of standard analysis domains for CLP. Finally, we perform a preliminary evaluation of the efficiency, accuracy, and effectiveness of the approach by implementing a parallelizing compiler for CLP based on the proposed ideas and applying it on a number of CLP benchmarks.
U2 - 10.1007/3-540-61756-6_78
DO - 10.1007/3-540-61756-6_78
M3 - Conference Paper
SN - 3540617566
T3 - Lecture Notes in Computer Science
SP - 77
EP - 91
BT - Programming Languages: Implementations, Logics, and Programs
A2 - Kuchen, Herbert
A2 - Swierstra, S. Doaitse
PB - Springer
CY - Berlin Germany
T2 - 8th International Symposium on Programming Languages, Implementations, Logics, and Programs, PLILP 1996
Y2 - 24 September 1996 through 27 September 1996
ER -