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

CLIP Group's Publications in 1996


Articles in First-Level Refereed Conferences and 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.

    JCR: position (ave) top 11%, impact (ave) 4.59, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A*. Citeseer: position 195/1221 (top 16%), impact 1.19. Average position: top 11%.

  2. 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.

    Citeseer: position 297/1221 (top 24%), impact 0.99. Average position: top 24%.

  3. 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.

    JCR: position (ave) top 22%, impact (ave) 1.27, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A*. Citeseer: position 41/1221 (top 3%), impact 1.92. Average position: top 10%.

  4. 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.

    CORE: A. Citeseer: position 145/1221 (top 12%), impact 1.35. Average position: top 22%.

  5. 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.

    Citeseer: position 297/1221 (top 24%), impact 0.99. Average position: top 24%.

  6. 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.

    CORE: A. Citeseer: position 87/1221 (top 7%), impact 1.58. Average position: top 20%.


Articles in Second-Level Refereed Conferences and Journals:

  1. 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.

    CORE: B. Citeseer: position 263/1221 (top 22%), impact 1.05. Average position: top 43%.

  2. 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.

    Citeseer: position 491/1221 (top 40%), impact 0.67. Average position: top 40%.

  3. 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.

    Citeseer: position 491/1221 (top 40%), impact 0.67. Average position: top 40%.

  4. P. López-García, 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.

    JCR: position (ave) top 54%, impact (ave) 0.64, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 362/1221 (top 30%), impact 0.85. Average position: top 35%.

  5. 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.

    JCR: position (ave) top 83%, impact (ave) 0.34, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. CiteseerX position (ave) top 28%, impact (ave) 0.210. Average position: top 43%.


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.


Articles in Third-Level (or Non-Indexed) Refereed Conferences and Journals:

  1. 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.

    JCR: position (ave) top 73%, impact (ave) 0.34, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: C. Citeseer: position 630/1221 (top 52%), impact 0.49. Average position: top 75%.

  2. 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.

    JCR: position (ave) top 73%, impact (ave) 0.34, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: C. Citeseer: position 630/1221 (top 52%), impact 0.49. Average position: top 75%.


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. López-García, 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. López, 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. López-García, 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.

Last updated on Sat Aug 12 15:32:11 CEST 2017