CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 1996


Articles in Refereed Journals:

  1. P. Van Hentenryck, V. Saraswat, A. Borning, A. Brodski, P. Codognet, R. Dechter, M. Dincbas, E. Freuder, M. Hermenegildo, J. Jaffar, S. Kasif, J.-L. Lassez, D. McAllester, Ken McAloon, A. Macworth, U. Montanari, W. Older, J.-F. Puget, R. Ramakrishnan, F. Rossi, G. Smolka, R. Wachter. Strategic Directions in Constraint Programming. ACM Computing Surveys, Vol. 28, Num. 4, pages 701-726, ACM, December 1996. 50th Anniversary Issue on Strategic Directions in Computer Research.

  2. M. García de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens. Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems, Vol. 18, Num. 5, pages 564-615, ACM, September 1996.

  3. M. Hermenegildo, M. Carro. Relating Data-Parallelism and (And-) Parallelism in Logic Programs. The Computer Languages Journal, Vol. 22, Num. 2/3, pages 143-163, Elsevier Science, July 1996.

  4. E. Pontelli, G. Gupta, D. Tang, M. Carro, M. Hermenegildo. Improving the Efficiency of Nondeterministic And-parallel Systems. The Computer Languages Journal, Vol. 22, Num. 2/3, pages 115-142, Pergamon/Elsevier, July 1996.

  5. P. Lopez-Garcia, M. V. Hermenegildo, S. K. Debray. A Methodology for Granularity Based Control of Parallelism in Logic Programs. Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, Vol. 21, Num. 4-6, pages 715-734, Academic Press, 1996.

  6. K. Shen, M. Hermenegildo. High-level Characteristics of Or- and Independent And-parallelism in Prolog. Int'l. Journal of Parallel Programming, Vol. 24, Num. 5, pages 433-478, Plenum Press, 1996.


Articles in Refereed Conferences:

  1. M. García de la Banda, F. Bueno, M. Hermenegildo. Towards Independent And-Parallelism in CLP. Programming Languages: Implementation, Logics, and Programs, LNCS, Num. 1140, pages 77-91, Springer-Verlag, September 1996.

  2. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Dynamically Scheduled Logic Languages. 1996 International Conference on Algebraic and Logic Programming, LNCS, Num. 1139, pages 47-61, Springer-Verlag, September 1996.

  3. G. Puebla, M. V. Hermenegildo. Optimized Algorithms for the Incremental Analysis of Logic Programs (also available in ps). International Static Analysis Symposium (SAS 1996), Lecture Notes in Computer Science, Num. 1145, pages 270-284, Springer-Verlag, September 1996.

  4. G. Puebla, M. V. Hermenegildo. Automatic Optimization of Dynamic Scheduling in Logic Programs (also available in ps). Programming Languages: Implementation, Logics, and Programs, LNCS, Num. 1140, pages 475-476, Springer-Verlag, September 1996. Poster abstract.

  5. K. Shen, M. Hermenegildo. Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. Proceedings of EuroPar'96, LNCS, Num. 1124, pages 635-640, Springer-Verlag, August 1996.

  6. M. Fernández, M. Carro, M. Hermenegildo. IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. Proceedings of EuroPar'96, LNCS, Num. 1124, pages 724-734, Springer-Verlag, August 1996.

  7. F. Bueno, D. Cabeza, M. V. Hermenegildo, G. Puebla. Global Analysis of Standard Prolog Programs. European Symposium on Programming, LNCS, Num. 1058, pages 108-124, Springer-Verlag, April 1996.


Books and Monographs:

  1. P. Tarau, A. Davison, K. De Bosschere, M. Hermenegildo. Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications. 122 pages, U. of Moncton, Canada, September 1996. Available from http://www.cliplab.org/miscdocs/lp-internet/archive.html.

  2. M. Carro, E. Pontelli. Proceedings of the Fourth COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies for (Constraint) Logic Languages. 235 pages, Computer Science Department, Technical University of Madrid, September 1996.


Invited Papers and Tutorials:

  1. M. V. Hermenegildo, G. Puebla. Applying Multiple Abstract Specialization to Program Parallelization (abstract). Partial Evaluation- Dagstuhl Seminar Report, Num. 134, 1 pages, IBFI - Dagstuhl, February 1996.


Publications in Refereed Workshops:

  1. G. Puebla, M. García de la Banda, M. V. Hermenegildo, K. Marriott, P. Stuckey. Automatic Optimization of Logic Programs with Dynamic Scheduling. Workshop on Abstract Interpretation of Logic Languages, The Hebrew University, December 1996.

  2. M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. Lopez-Garcia, G. Puebla. The CIAO Multi-Dialect Compiler and System: A Demo and Status Report. Proceedings of the JICSLP'96 Workshop on Parallelism and Implementation Technology, 12 pages, Computer Science Department, Technical University of Madrid, September 1996. Available from http://www.cliplab.org/Projects/COMPULOG/meeting96/papers/PS/clip.ps.gz.

  3. G. Puebla, M. V. Hermenegildo. Optimized Algorithms for the Incremental Analysis of Logic Programs. II Workshop on Verification and Analysis of Logic Languages, September 1996.

  4. D. Cabeza, M. V. Hermenegildo, S. Varma. The PiLLoW/Ciao Library for INTERNET/WWW Programming using Computational Logic Systems (also available in ps). Proceedings of the 1st Workshop on Logic Programming Tools for INTERNET Applications, pages 72-90, September 1996. Text and code available from http://www.cliplab.org/miscdocs/pillow/pillow.html.

  5. D. Cabeza, M. V. Hermenegildo. Implementing Distributed Concurrent Constraint Execution in the CIAO System (also available in ps). Proc. of the AGP'96 Joint conference on Declarative Programming, pages 67-78, U. of the Basque Country, July 1996. Available from http://www.cliplab.org/.

  6. M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. Lopez-Garcia, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. Proc. of the AGP'96 Joint Conference on Declarative Programming, pages 105-108, U. of the Basque Country, July 1996. Available from ftp://www.cliplab.org/pub/papers.

  7. M. Codish, V. Lagoon, F. Bueno. Sharing Analysis for Logic Programs using Set Logic Programs. Proc. of the AGP'96 Joint Conference on Declarative Programming, pages 29-40, U. of the Basque Country, July 1996. Available from http://www.cliplab.org/.

  8. G. Puebla, M. V. Hermenegildo. Abstract Specialization and its Application to Program Parallelization. V International Workshop on Metaprogramming and Metareasoning in Logic, 1996.


Technical Reports and Manuals:

  1. S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo. Towards Precise Non-Failure Analysis for Logic Programs. Num. CLIP18/96.0, T.U. of Madrid (UPM), November 1996.

  2. D. Cabeza, M. V. Hermenegildo. html.pl: An HTML Package for (C)LP systems. Technical University of Madrid, March 1996. Available from http://www.cliplab.org/miscdocs/.

  3. G. Puebla, M. V. Hermenegildo. Optimized Algorithms for Incremental Analysis of Logic Programs. Num. CLIP3/96.0, Facultad de Informática, UPM, February 1996.

  4. G. Puebla, M. V. Hermenegildo. Automatic Optimization of Dynamic Scheduling in Logic Programs. Technical University of Madrid, January 1996.


next up previous Clip_button.gif
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in
Last updated on Mon 17 May 2021 09:35:17 PM CEST