References

BCHP96

F. Bueno, D. Cabeza, M. Hermenegildo y G. Puebla. Global Analysis of Standard Prolog Programs. En European Symposium on Programming, número 1058 en LNCS, páginas 108-124, Sweden, Abril 1996. Springer-Verlag.

BDGH94

F. Bueno, S. K. Debray, M. Garcıa de la Banda y M. Hermenegildo. QE-Andorra: A Quiche-Eating Implementation of the Basic Andorra Model. Technical Report CLIP13/94.0, T.U. of Madrid (UPM), Septiembre 1994.

BGCH93

F. Bueno, M. Garcıa de la Banda, D. Cabeza y M. Hermenegildo. The &-Prolog Compiler System -- Automatic Parallelization Tools for LP. Technical Report CLIP5/93.0, Computer Science Dept., Technical U. of Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, Junio 1993.

BGH94a

F. Bueno, M. Garcıa de la Banda y M. Hermenegildo. A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. En Parallel Symbolic Computation, páginas 63-73. World Scientific Publishing Company, Septiembre 1994.

BGH94b

F. Bueno, M. Garcıa de la Banda y M. Hermenegildo. Effectiveness of Global Analysis in Strict Independence-Based Automatic Program Parallelization. En International Symposium on Logic Programming, páginas 320-336. MIT Press, Noviembre 1994.

Bue94

F. Bueno Carrillo. Automatic Optimisation and Parallelisation of Logic Programs through Program Transformation. Tesis doctoral, Universidad Politécnica de Madrid (UPM), Octubre 1994.

CGH93

M. Carro, L. Gómez y M. Hermenegildo. Some Paradigms for Visualizing Parallel Execution of Logic Programs. En 1993 International Conference on Logic Programming, páginas 184-201. MIT Press, Junio 1993.

CH94

D. Cabeza y M. Hermenegildo. Extracting Non-strict Independent And-parallelism Using Sharing and Freeness Information. En 1994 International Static Analysis Symposium, número 864 en LNCS, páginas 297-313, Namur, Belgium, Septiembre 1994. Springer-Verlag.

CH96

D. Cabeza y M. Hermenegildo. Implementing Distributed Concurrent Constraint Execution in the CIAO System. En Proc. of the 1996 APPIA-GULP-PRODE'96 Joint conference on Declarative Programming, páginas 67-78, San Sebastian, Spain, Julio 1996. U. of the Basque Country. Available from http://www.clip.dia.fi.upm.es/.

DGH96

S. K. Debray, P. López Garcıa y M. Hermenegildo. Towards Precise Non-Failure Analysis for Logic Programs. Technical Report TR, number = CLIP18/96.0, T.U. of Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte Madrid-Spain, Noviembre 1996.

DGHL94

S. K. Debray, P. López Garcıa, M. Hermenegildo y N.-W. Lin. Estimating the Computational Cost of Logic Programs. En Static Analysis Symposium, SAS'94, número 864 en LNCS, páginas 255-265, Namur, Belgium, Septiembre 1994. Springer-Verlag.

DLH90

S. K. Debray, N.-W. Lin y M. Hermenegildo. Task Granularity Analysis in Logic Programs. En Proc. of the 1990 ACM Conf. on Programming Language Design and Implementation, páginas 174-188. ACM Press, Junio 1990.

FCH96

M. Fernández, M. Carro y M. Hermenegildo. IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. En Proceedings of EuroPar'96, número 1124 en LNCS, páginas 724-734. Springer-Verlag, Agosto 1996.

Gar94

M. Garcıa de la Banda. Independence, Global Analysis, and Parallelism in Dynamically Scheduled Constraint Logic Programming. Tesis doctoral, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, Septiembre 1994. Also provided as attachment of deliverable D3.2-3.3/2.

GBH96

M. Garcıa de la Banda, F. Bueno y M. Hermenegildo. Towards Independent And-Parallelism in CLP. En Programming Languages: Implementation, Logics, and Programs, número 1140 en LNCS, páginas 77-91, Aachen, Germany, Septiembre 1996. Springer-Verlag.

GHB96

M. Garcıa de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens y W. Simoens. Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems, 18(5):564-615, 1996.

GHM93

M. Garcıa de la Banda, M. Hermenegildo y K. Marriott. Independence in Constraint Logic Programs. En 1993 International Logic Programming Symposium, páginas 130-146. MIT Press, Cambridge, MA, Octubre 1993.

GHPSC94

G. Gupta, M. Hermenegildo, E. Pontelli y V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. En International Conference on Logic Programming, páginas 93-110. MIT Press, Junio 1994.

HBGP95

M. Hermenegildo, F. Bueno, M. Garcıa de la Banda y G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. En Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, Portland, Oregon, USA, Diciembre 1995. Available from http://www.clip.dia.fi.upm.es/.

HC96

M. Hermenegildo y M. Carro. Relating Data-Paralllelism and (And-) Parallelism in Logic Programs. The Computer Languages Journal, 22(2/3):143-163, 1996.

HCC95

M. Hermenegildo, D. Cabeza y M. Carro. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. En Proc. of the Twelfth International Conference on Logic Programming, páginas 631-645. MIT Press, Junio 1995.

HPMS95

M. Hermenegildo, G. Puebla, K. Marriott y P. Stuckey. Incremental Analysis of Logic Programs. En International Conference on Logic Programming, páginas 797-811. MIT Press, Junio 1995.

HR89

M. Hermenegildo y F. Rossi. On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. En 1989 North American Conference on Logic Programming, páginas 369-390. MIT Press, Octubre 1989.

HR95

M. Hermenegildo y F. Rossi. Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Journal of Logic Programming, 22(1):1-45, 1995.

HtCg94

M. Hermenegildo y the CLIP group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel, Concurrent Constraint System. En Principles and Practice of Constraint Programming, número 874 en LNCS, páginas 123-133. Springer-Verlag, Mayo 1994.

LH95

P. López Garcıa y M. Hermenegildo. Efficient Term Size Computation for Granularity Control. En International Conference on Logic Programming, páginas 647-661. The MIT Press, Junio 1995.

LHD94

P. López Garcıa, M. Hermenegildo y S. K. Debray. Towards Granularity Based Control of Parallelism in Logic Programs. En Hoon Hong, editor, Proc. of First International Symposium on Parallel Symbolic Computation, PASCO'94, páginas 133-144. World Scientific, Septiembre 1994.

LHD96

P. López Garcıa, M. Hermenegildo y S. K. Debray. A Methodology for Granularity Based Control of Parallelism in Logic Programs. Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, (22):715-734, 1996.

MGH94

K. Marriott, M. Garcıa de la Banda y M. Hermenegildo. Analyzing Logic Programs with Dynamic Scheduling. En 20th. Annual ACM Conf. on Principles of Programming Languages, páginas 240-254. ACM, Enero 1994.

MH90

K. Muthukumar y M. Hermenegildo. The CDG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. En Int'l. Conference on Logic Programming, páginas 221-237. MIT Press, Junio 1990.

MH91

K. Muthukumar y M. Hermenegildo. Combined Determination of Sharing and Freeness of Program Variables Through Abstract Interpretation. En 1991 International Conference on Logic Programming, páginas 49-63. MIT Press, Junio 1991.

PGH95

E. Pontelli, G. Gupta y M. Hermenegildo. &ACE: A High-Performance Parallel Prolog System. En International Parallel Processing Symposium, páginas 564-572. IEEE Computer Society Technical Committee on Parallel Processing, IEEE Computer Society, Abril 1995.

PGT96

E. Pontelli, G. Gupta, D. Tang, M. Carro y M. Hermenegildo. Improving the Efficiency of Nondeterministic And-parallel Systems. Computer Languages Journal, 22(2/3):115-142, 1996.

PH95

G. Puebla y M. Hermenegildo. Implementation of Multiple Specialization in Logic Programs. En Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, páginas 77-87. ACM Press, Junio 1995.

SH94

K. Shen y M. Hermenegildo. Divided We Stand: Parallel Distributed Stack Memory Management. En E. Tick y G. Succi, editores, Implementations of Logic Programming Systems, páginas 185-203. Kluwer Academic Publishers, 1994.

SH96

K. Shen y M. Hermenegildo. High-level Characteristics of Or- and Independent And-parallelism in Prolog. Int'l. Journal of Parallel Programming, 24(5):433-478, 1996.