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

Publications in Concurrency, Dynamic Scheduling, and Concurrent Languages


Articles in Refereed Journals:

  1. Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha. Parallel Logic Programming: A Sequel. Theory and Practice of Logic Programming, 20th Anniversary Special Issue, Vol. 22, Num. 6, pages 905-973, Cambridge U. Press, March 2022.

  2. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in CLP Languages (also available in ps). ACM Transactions on Programming Languages and Systems, Vol. 22, Num. 2, pages 269-339, ACM Press, March 2000.

  3. F. Bueno, M. V. Hermenegildo, U. Montanari, F. Rossi. Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Science of Computer Programming, Vol. 30, pages 51-82, North-Holland, January 1998. Special CCP95 Workshop issue.


Articles in Refereed Conferences:

  1. M. Carro, M. Hermenegildo. Concurrency in Prolog Using Threads and a Shared Database. 1999 International Conference on Logic Programming, pages 320-334, MIT Press, Cambridge, MA, USA, November 1999.

  2. G. Puebla, M. García de la Banda, K. Marriott, P. Stuckey. Optimization of Logic Programs with Dynamic Scheduling (also available in ps). 1997 International Conference on Logic Programming, pages 93-107, MIT Press, June 1997.

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

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

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

  7. F. Bueno, M. V. Hermenegildo, U. Montanari, F. Rossi. From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics. Fourth International Conference on Algebraic and Logic Programming, LNCS, Num. 850, pages 114-132, Springer-Verlag, September 1994.

  8. U. Montanari, F. Rossi, F. Bueno, M. García de la Banda, M. Hermenegildo. Towards a Concurrent Semantics-based Analysis of CC and CLP. Principles and Practice of Constraint Programming, LNCS, Num. 874, pages 151-161, Springer-Verlag, May 1994.

  9. K. Marriott, M. García de la Banda, M. V. Hermenegildo. Analyzing Logic Programs with Dynamic Scheduling (also available in ps). 20th. Annual ACM Conf. on Principles of Programming Languages, pages 240-254, ACM, January 1994.

  10. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Constraint Logic Programs. 1993 International Logic Programming Symposium, pages 130-146, MIT Press, Cambridge, MA, October 1993.

  11. F. Bueno, M. Hermenegildo. An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. Proc. of the 1992 International Conference on Fifth Generation Computer Systems, Vol. 2, pages 759-769, Institute for New Generation Computer Technology (ICOT), June 1992.


Books and Monographs:

  1. M. García de la Banda. Independence, Global Analysis, and Parallelism in Dynamically Scheduled Constraint Logic Programming. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, September 1994.

  2. F. Bueno Carrillo. Traducción Automática de Prolog al Andorra Kernel Language (Automatic Translation from Prolog to the Andorra Kernel Language). Ms. Thesis, T.U. of Madrid (UPM), Facultad de Informática, Madrid, 28660, December 1991.


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

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

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

  6. M. Hermenegildo, D. Cabeza, M. Carro. On The Uses of Attributed Variables in Parallel and Concurrent Logic Programming Systems. Proc. of the 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies, 15 pages, U. of Madrid, September 1994. Also provided as attachment UPM-1 of deliverable D4.3/2.

  7. F. Bueno, M. Hermenegildo. Towards an Automatic Translation Algorithm from Prolog to the Andorra Kernel Language. Proc. of the 1991 GULP Conference on Logic Programming, pages 489-505, Italian Association for Logic Programming, June 1991.


Technical Reports and Manuals:

  1. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla (Eds.). The Ciao System. Reference Manual (V1.10). School of Computer Science, Technical University of Madrid (UPM), June 2004. System and on-line version of the manual available at http://ciao-lang.org.

  2. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V1.8). Num. CLIP4/2002.1, School of Computer Science, Technical University of Madrid (UPM), May 2002. System and on-line version of the manual available at http://ciao-lang.org.

  3. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V1.6). Num. CLIP5/2000.1, School of Computer Science, Technical University of Madrid (UPM), July 2000. System and on-line version of the manual available at http://ciao-lang.org.

  4. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V1.0). Num. CLIP11/99.1, School of Computer Science, Technical University of Madrid (UPM), June 1999. System and on-line version of the manual available at http://ciao-lang.org.

  5. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual (V0.6). Num. CLIP12/98.1, School of Computer Science, Technical University of Madrid (UPM), July 1998. System and on-line version of the manual available at http://ciao-lang.org.

  6. F. Bueno, D. Cabeza, M. Carro, M. V. Hermenegildo, P. Lopez-Garcia, G. Puebla. The Ciao Prolog System. Reference Manual. Num. CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997. System and on-line version of the manual available at http://ciao-lang.org.

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

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

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

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

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

  12. F. Bueno, F. Rossi, M. V. Hermenegildo. Concurrent Semantics Based Optimizations of cc and CLP. Num. CLIP2/93.2, T.U. of Madrid (UPM), September 1994.

  13. M. Hermenegildo, D. Cabeza, M. Carro. On The Uses of Attributed Variables in Parallel and Concurrent Logic Programming Systems. Num. CLIP 5/94.0, 17 pages, School of Computer Science, Technical University of Madrid (UPM), June 1994. Presented at the ILPS'94 Post Conference Workshop on Design and Implementation of Parallel Logic Programming Systems, Available from http://www.cliplab.org/.

  14. F. Bueno, M. García de la Banda, M. V. Hermenegildo, U. Montanari, F. Rossi. From Eventual to Atomic and Locally Atomic CC Programs: A Concurrent Semantics. Num. CLIP1/94.0, T.U. of Madrid (UPM), January 1994.

  15. M. García de la Banda, M. V. Hermenegildo, K. Marriott. Independence in Logic Programs with Dynamic Scheduling. U. of Madrid (UPM), 1994.

  16. F. Bueno, M. García de la Banda, M. V. Hermenegildo. Compile-time Optimizations and Analysis Requirements for CC Programs. Num. CLIP6/93.0, T.U. of Madrid (UPM), July 1993.

  17. F. Bueno, M. García de la Banda, M. V. Hermenegildo, F. Rossi, U. Montanari. Towards True Concurrency Semantics Based Program Transformation between CLP and CC. Num. CLIP2/93.1(94), T.U. of Madrid (UPM), July 1993.

  18. U. Montanari, F. Rossi, F. Bueno, M. García de la Banda, M. V. Hermenegildo. Contextual Nets and Constraint Logic Programming: Towards a True Concurrent Semantics for CLP. Num. CLIP 2/93.0, T.U. of Madrid (UPM), January 1993. Presented at the ICLP'93 Post Conference Workshop on Concurrent Constraint Logic Programming.

  19. K. Marriott, M. García de la Banda, M. V. Hermenegildo. Analyzing Logic Programs with Dynamic Scheduling. Num. CLIP6/93.1, T.U. of Madrid (UPM), October 1992.

  20. F. Bueno, M. Hermenegildo. Results on Automatic Translation from Prolog to the Andorra Kernel Language. Num. CLIP2/91.0, T.U. of Madrid (UPM), September 1991. theory in technical report, “Towards an Automatic Translation Algorithm from Prolog to the Andorra Kernel Language”.

  21. F. Bueno, M. Hermenegildo. An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. Num. CLIP1/91.0, T.U. of Madrid, June 1991. also(first version) in Proc. GULP91, results and benchmarks in “Results on Automatic Translation from Prolog to the Andorra Kernel Language”.

next up previous Clip_button.gif
Next: Publications in Constraint Programming Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Programming Language
Last updated on Mon Apr 15 06:11:09 PM CEST 2024
Contents
Institutional links