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

CLIP Group's Publications in 1995


Articles in Refereed Journals:

  1. M. Codish, A. Mulkers, M. Bruynooghe, M. García de la Banda, M. Hermenegildo. Improving Abstract Interpretations by Combining Domains. ACM Transactions on Programming Languages and Systems, Vol. 17, Num. 1, pages 28-44, ACM, January 1995.

  2. M. Hermenegildo, F. Rossi. Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Journal of Logic Programming, Vol. 22, Num. 1, pages 1-45, Elsevier - North Holland, 1995.


Articles in Refereed Conferences:

  1. M. García de la Banda, K. Marriott, P. Stuckey. Efficient Analysis of Constraint Logic Programs with Dynamic Scheduling (also available in ps). 1995 International Logic Programming Symposium, pages 417-431, MIT Press, Cambridge, MA, December 1995.

  2. M. Hermenegildo, M. Carro. Relating Data-Parallelism and And-Parallelism in Logic Programs. Proceedings of EURO-PAR'95, LNCS, Num. 966, pages 27-42, Springer-Verlag, August 1995.

  3. M. Hermenegildo, D. Cabeza, M. Carro. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. Proc. of the Twelfth International Conference on Logic Programming, pages 631-645, MIT Press, June 1995.

  4. M. V. Hermenegildo, G. Puebla, K. Marriott, P. Stuckey. Incremental Analysis of Logic Programs (also available in ps). International Conference on Logic Programming, pages 797-811, MIT Press, June 1995.

  5. G. Puebla, M. V. Hermenegildo. Implementation of Multiple Specialization in Logic Programs (also available in ps). Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, pages 77-87, ACM Press, June 1995.

  6. P. Lopez-Garcia, M. V. Hermenegildo. Efficient Term Size Computation for Granularity Control. International Conference on Logic Programming, pages 647-661, MIT Press, Cambridge, MA, June 1995.

  7. E. Pontelli, G. Gupta, M. Hermenegildo. &ACE: A High-Performance Parallel Prolog System. International Parallel Processing Symposium, pages 564-572, IEEE Computer Society, IEEE Computer Society Technical Committee on Parallel Processing, April 1995.


Books and Monographs:

  1. P. Lopez-Garcia, M. V. Hermenegildo. Proceedings of the Third COMPULOG-NET Area Workshop on Parallelism and Implementation Technologies. 108 pages, U. of Utrecht, September 1995.

  2. M. Hermenegildo, D. Swierstra. Programming Languages: Implementations, Logics, and Programs - Proc. of the 1995 Conference. LNCS, Num. 982, 466 pages, Springer-Verlag, September 1995.


Publications in Refereed Workshops:

  1. M. Hermenegildo, F. Bueno, M. García de la Banda, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems (also available in ps). Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, December 1995. Available from http://www.cliplab.org/.

  2. M. García de la Banda, F. Bueno, M. Hermenegildo. Towards Automatic Compile-Time Parallelization of CLP Programs by Analysis and Transformation. Proceedings of the ILPS'95 Workshop on Parallel Logic Programming Systems, U. of Oregon, December 1995.

  3. D. Cabeza, M. V. Hermenegildo. Distributed Concurrent Constraint Execution in the CIAO System. Proc. of the 1995 COMPULOG-NET Workshop on Parallelism and Implementation Technologies, U. Utrecht / T.U. Madrid, September 1995. Available from http://www.cliplab.org/.

  4. M. Hermenegildo, The CLIP Group. The CIAO Multiparadigm Compiler and System: A Progress Report. Proc. of the Compulog Net Area Workshop on Parallelism and Implementation Technologies, Technical University of Madrid, September 1995.

  5. F. Bueno, D. Cabeza, M. V. Hermenegildo, G. Puebla. Data-flow Analysis of Standard Prolog Programs. ICLP95 WS on Abstract Interpretation of Logic Languages, June 1995.

  6. F. Bueno, M. V. Hermenegildo. Analysis of Concurrent Constraint Logic Programs with a Fixed Scheduling Rule. ICLP95 WS on Abstract Interpretation of Logic Languages, June 1995.

  7. M. García de la Banda, K. Marriott, P. Stuckey. Efficient Analysis of Constraint Logic Programs with Dynamic Scheduling. ICLP95 WS on Abstract Interpretation of Logic Languages, June 1995.


Technical Reports and Manuals:

  1. S.K. Debray, P. Lopez-Garcia, M. V. Hermenegildo, N.-W. Lin. Lower Bound Cost Estimation for Logic Programs. Num. CLIP20/95.0, T.U. of Madrid (UPM), December 1995.

  2. M. Hermenegildo. A WWW Interface Library for LP and CLP Systems. Num. CLIP16/95.0, School of Computer Science, Technical University of Madrid (UPM), December 1995.

  3. G. Puebla, M. V. Hermenegildo. Specialization and Optimization of Constraint Programs with Dynamic Scheduling. Num. CLIP12/95.0, Facultad de Informática, UPM, September 1995. Presented at the 1995 COMPULOG Meeting on Program Development.

  4. F. Bueno, M. Hermenegildo. Compiling Concurrency into a Sequential Logic Language. Facultad de Informática, UPM, June 1995.

  5. M. Hermenegildo, M. Carro. A Note on Data-Parallelism and (And-Parallel) Prolog. Num. CLIP 6/94.0, 15 pages, School of Computer Science, Technical University of Madrid (UPM), June 1995.

  6. E. Pontelli, G. Gupta, D. Tang, M. Hermenegildo, M. Carro. Efficient Implementation of And-parallel Prolog Systems. Num. CLIP4/95.0, T.U. of Madrid (UPM), June 1995.

  7. F. Bueno, M. Hermenegildo. An Automatic Translation Scheme from CLP to AKL. Facultad de Informática, UPM, June 1995.

  8. M. García de la Banda, F. Bueno, M. Hermenegildo. Automatic Compile-Time Parallelization of CLP Programs by Analysis and Transformation to a Concurrent Constraint Language. Facultad de Informática, UPM, June 1995. Also in ILPS'95 WS on Parallel Logic Programming Systems.

  9. F. Bueno. The CIAO Multiparadigm Compiler: A User's Manual. Num. CLIP8/95.0, Facultad de Informática, UPM, June 1995.

  10. F. Bueno, S. K. Debray, M. García de la Banda, M. V. Hermenegildo. Transformation-based Implementation and Optimization of Programs Exploiting the Basic Andorra Model. Num. CLIP11/95.0, Facultad de Informática, UPM, May 1995.

  11. F. Bueno, D. Cabeza, M. V. Hermenegildo, G. Puebla. Data-Flow Analysis of Prolog Programs with Extra-Logical Features (also available in ps). Num. CLIP2/95.0, Computer Science Dept., Technical U. of Madrid (UPM), March 1995.

  12. M. García de la Banda, K. Marriott, P. Stuckey. Efficient Analysis of Constraint Logic Programs with Dynamic Scheduling. Facultad de Informática, UPM, March 1995.

  13. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence and Search Space Preservation in Dynamically Scheduled Constraint Logic Languages. Facultad de Informática, UPM, February 1995.

  14. F. Bueno, D. Cabeza, M. García de la Banda, M. V. Hermenegildo, G. Puebla. Abstract Functions for the Analysis of Builtins in the PLAI System. Num. CLIP1/95.0, Computer Science Dept., Technical U. of Madrid (UPM), January 1995.

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 Apr 15 06:11:00 PM CEST 2024
Contents
Institutional links