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

Publications in Programming Language Implementation


Articles in First-Level Refereed Conferences and Journals:

  1. J.F. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory and Practice of Logic Programming, Vol. 16, pages 1-58, Cambridge University Press, January 2016.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

  2. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Theory and Practice of Logic Programming, Vol. 12, Num. 1-2, pages 219-252, Cambridge University Press, January 2012. http://arxiv.org/abs/1102.5497.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

  3. J. F. Morales, R. Haemmerlé, M. Carro, M. V. Hermenegildo. Lightweight compilation of (C)LP to JavaScript. Theory and Practice of Logic Programming, 28th Int'l. Conference on Logic Programming (ICLP'12) Special Issue, Vol. 12, Num. 4-5, pages 755-773, Cambridge U. Press, 2012.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

  4. P. Chico de Guzmán, A. Casas, M. Carro, M. Hermenegildo. Parallel Backtracking with Answer Memoing for Independent And-Parallelism. Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic Programming (ICLP'11) Special Issue, Vol. 11, Num. 4-5, pages 555-574, Cambridge U. Press, July 2011.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

  5. P. Chico de Guzmán, M. Carro, David S. Warren. Swapping Evaluation: A Memory-Scalable Solution for Answer-On-Demand Tabling. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, Vol. 10 (4-6), pages 401-416, Cambridge U. Press, July 2010.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

  6. A. Stivala, P. J. Stuckey, M. García de la Banda, M. Hermenegildo, A. Wirth. Lock-free Parallel Dynamic Programming. Journal of Parallel and Distributed Computing, Vol. 70, Num. 8, pages 839-848, Elsevier, 2010.

    JCR: position (ave) top 57%, impact (ave) 0.62, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A*. Citeseer: position 356/1221 (top 29%), impact 0.86. Average position: top 30%.

  7. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. A Tabling Implementation Based on Variables with Multiple Bindings. International Conference on Logic Programming (ICLP 2009), LNCS, Num. 5649, pages 190-204, Springer-Verlag, July 2009.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  8. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. Int'l. Conference on Logic Programming, LNCS, Vol. 5366, pages 795-800, Springer Verlag, December 2008. Short paper.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  9. A. Casas, M. Carro, M. Hermenegildo. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. 24th International Conference on Logic Programming (ICLP'08), LNCS, Vol. 5366, pages 651-666, Springer-Verlag, December 2008.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  10. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. Hermenegildo. High-Level Languages for Small Devices: A Case Study. Compilers, Architecture, and Synthesis for Embedded Systems, pages 271-281, ACM Press / Sheridan, October 2006.

    CORE: A. CiteseerX position (ave) top 23%, impact (ave) 0.192. Average position: top 28%.

  11. M. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming, Vol. 58, Num. 1-2, pages 115-140, Elsevier North-Holland, October 2005.

    JCR: position (ave) top 42%, impact (ave) 0.80, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A. Citeseer: position 185/1221 (top 15%), impact 1.22. Average position: top 26%.

  12. J. Morales, M. Carro, G. Puebla, M. Hermenegildo. A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization. International Conference on Logic Programming, LNCS, Num. 3668, pages 21-36, Springer Verlag, October 2005.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  13. G. Gupta, E. Pontelli, K. Ali, M. Carlsson, M. Hermenegildo. Parallel Execution of Prolog Programs: a Survey. ACM Transactions on Programming Languages and Systems, Vol. 23, Num. 4, pages 472-602, ACM Press, July 2001.

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

  14. D. Cabeza, M. Hermenegildo. A New Module System for Prolog (also available in ps). International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 131-148, Springer-Verlag, July 2000.

    CiteseerX position (ave) top 28%, impact (ave) 0.205. Average position: top 28%.

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

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

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

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  17. G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. International Conference on Logic Programming, pages 93-110, MIT Press, June 1994.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  18. M. Hermenegildo, The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel, Concurrent Constraint System (also available in ps). Principles and Practice of Constraint Programming, LNCS, Num. 874, pages 123-133, Springer-Verlag, May 1994.

    CORE: A. CiteseerX position (ave) top 22%, impact (ave) 0.297. Average position: top 27%.

  19. H. Kuchen, J. Moreno-Navarro, M. Hermenegildo. Independent AND-Parallel Implementation of Narrowing. Proc. 4th. Int'l Symposium on Programming Language Implementation and Logic Programming, LNCS, Num. 631, pages 24-38, Springer-Verlag, August 1992.

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

  20. G. Gupta, M. Hermenegildo. Recomputation based Implementation of And-Or Parallel Prolog. Proc. of the 1992 International Conference on Fifth Generation Computer Systems, pages 770-782, Institute for New Generation Computer Technology (ICOT), June 1992.

    Citeseer: position 359/1221 (top 29%), impact 0.85. Average position: top 29%.

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

    Citeseer: position 359/1221 (top 29%), impact 0.85. Average position: top 29%.

  22. G. Gupta, V. Santos-Costa, R. Yang, M. Hermenegildo. IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. 1991 International Logic Programming Symposium, pages 152-166, MIT Press, October 1991.

    Citeseer: position 118/1221 (top 10%), impact 1.47. Average position: top 10%.

  23. K. Muthukumar, M. Hermenegildo. The CDG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. Int'l. Conference on Logic Programming, pages 221-237, MIT Press, June 1990.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  24. M. Hermenegildo, F. Rossi. Non-Strict Independent And-Parallelism. 1990 International Conference on Logic Programming, pages 237-252, MIT Press, Association for Logic Programming, June 1990.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  25. M. Hermenegildo, K. Greene. &-Prolog and its Performance: Exploiting Independent And-Parallelism. 1990 International Conference on Logic Programming, pages 253-268, MIT Press, Association for Logic Programming, June 1990.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  26. M. Hermenegildo. Relating Goal Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. Fourth International Conference on Logic Programming, pages 556-575, MIT Press, University of Melbourne, May 1987.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  27. M. Hermenegildo, R. I. Nasr. Efficient Management of Backtracking in AND-parallelism. Third International Conference on Logic Programming, LNCS, Num. 225, pages 40-55, Springer-Verlag, Imperial College, July 1986.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  28. M. Hermenegildo. An Abstract Machine for Restricted AND-parallel Execution of Logic Programs. Third International Conference on Logic Programming, Lecture Notes in Computer Science, Num. 225, pages 25-40, Springer-Verlag, Imperial College, July 1986.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.


Articles in Second-Level Refereed Conferences and Journals:

  1. N. Stulova, J. F. Morales, M. V. Hermenegildo. Reducing the Overhead of Assertion Run-time Checks via Static Analysis. 18th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'16), pages 90-103, ACM Press, September 2016.

    CORE: B. CiteseerX position (ave) top 26%, impact (ave) 0.183. Average position: top 45%.

  2. Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño. A Haskell Implementation of a Rule-Based Program Transformation for C Programs. International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 9131, pages 105-114, Springer-Verlag, June 2015.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  3. J.F. Morales, M. V. Hermenegildo. Pre-Indexed Terms for Prolog. Proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), LNCS, Vol. 8981, pages 317-331, Springer, 2015.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  4. Z. Drey, J. F. Morales, M. V. Hermenegildo, M. Carro. Reversible Language Extensions and their Application in Debugging. Practical Aspects of Declarative Languages (PADL'13), LNCS, Vol. 7752, Springer, January 2013.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  5. P. Chico de Guzmán, M. Carro, M. Hermenegildo. Supporting Pruning in Tabled LP. Practical Aspects of Declarative Languages (PADL'13), LNCS, Springer Verlag, January 2013.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  6. P. Chico de Guzmán, M. Carro, M. Hermenegildo, P. Stuckey. A General Implementation Framework for Tabled CLP. FLOPS'12, LNCS, Num. 7294, pages 104-119, Springer Verlag, May 2012.

    CORE: A. Citeseer: position 468/1221 (top 38%), impact 0.69. Average position: top 36%.

  7. E. Albert, P. Arenas, M. Gómez-Zamalloa. Symbolic Execution of Concurrent Objects in CLP. Practical Aspects of Declarative Languages (PADL'12), LNCS, Vol. 7149, pages 123-137, Springer, January 2012.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  8. P. Chico de Guzmán, A. Casas, M. Carro, M. Hermenegildo. A Segment-Swapping Approach for Executing Trapped Computations. PADL'12, LNCS, Vol. 7149, pages 138-152, Springer Verlag, January 2012.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  9. E. Mera, T. Trigo, P. López-García, M. Hermenegildo. Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Practical Aspects of Declarative Languages (PADL'11), Lecture Notes in Computer Science, Vol. 6539, pages 38-53, Springer-Verlag, January 2011.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  10. L. Scandolo, C. Kunz, G. Barthe, M.V. Hermenegildo. Program Parallelization using Synchronized Pipelining. Proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09), LNCS, Vol. 6037, pages 173-187, Springer, 2010.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  11. P. López-García, F. Bueno, M. Hermenegildo. Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Information. New Generation Computing, Vol. 28, Num. 2, pages 117-206, Ohmsha, Ltd. and Springer, 2010.

    JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS CORE: B. Citeseer: position 305/1221 (top 25%), impact 0.97. Average position: top 50%.

  12. P. Chico de Guzmán, M. Carro, M. Hermenegildo. Towards a Complete Scheme for Tabled Execution Based on Program Transformation. 11th International Symposium on Practical Aspects of Declarative Languages (PADL'09), LNCS, Num. 5418, pages 224-238, Springer-Verlag, January 2009.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  13. J. Morales, M. Carro, M. Hermenegildo. Comparing Tag Scheme Variations Using an Abstract Machine Generator. 10th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 32-43, ACM Press, July 2008.

    CORE: B. CiteseerX position (ave) top 26%, impact (ave) 0.183. Average position: top 45%.

  14. P. Chico de Guzmán, M. Carro, M. Hermenegildo, Claudio Silva, Ricardo Rocha. An Improved Continuation Call-Based Implementation of Tabling. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 198-213, Springer-Verlag, January 2008.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  15. A. Casas, M. Carro, M. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-restricted, Independent And-parallelism. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 230-247, Springer-Verlag, January 2008.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  16. J.F. Morales, M. Carro, M. Hermenegildo. Towards Description and Optimization of Abstract Machines in an Extension of Prolog. Logic-Based Program Synthesis and Transformation (LOPSTR'06), LNCS, Num. 4407, pages 77-93, July 2007.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  17. A. Casas, D. Cabeza, M. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. The 8th International Symposium on Functional and Logic Programming (FLOPS'06), pages 142-162, April 2006.

    CORE: A. Citeseer: position 468/1221 (top 38%), impact 0.69. Average position: top 36%.

  18. P. López-García, F. Bueno, M. Hermenegildo. Determinacy Analysis for Logic Programs Using Mode and Type Information. Proceedings of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), LNCS, Num. 3573, pages 19-35, Springer-Verlag, August 2005.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  19. J. Morales, M. Carro, M. Hermenegildo. Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. Proceedings of the Sixth International Symposium on Practical Aspects of Declarative Languages, Lecture Notes in Computer Science, Vol. 3057, pages 86-103, Springer-Verlag, June 2004.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  20. F. Bueno, P. López-García, M. Hermenegildo. Multivariant Non-Failure Analysis via Standard Abstract Interpretation. 7th International Symposium on Functional and Logic Programming (FLOPS 2004), LNCS, Num. 2998, pages 100-116, Springer-Verlag, April 2004.

    CORE: A. Citeseer: position 468/1221 (top 38%), impact 0.69. Average position: top 36%.

  21. C. Vaucheret, S. Guadarrama, S. Muñoz. Fuzzy Prolog: A Simple General Implementation using CLP(R) (also available in ps). 9th International Conference on Logic for Programming Artificial Intelligence and Reasoning, October 2002.

    CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.

  22. S. Muñoz, J.J. Moreno-Navarro, M. Hermenegildo. Efficient Negation Using Abstract Interpretation (also available in ps). Proc. of the Eigth International Conference on Logic Programming and Automated Reasoning, LNAI, 15 pages, Springer-Verlag, December 2001.

    CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.

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

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

    CORE: A. CiteseerX position (ave) top 36%, impact (ave) 0.316. Average position: top 34%.

  25. M. Olmedilla, F. Bueno, M. Hermenegildo. Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. Logic Program Synthesis and Transformation, 1993, Workshops in Computing, pages 177-195, Springer-Verlag, July 1993.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  26. G. Gupta, M. Hermenegildo, V. Santos-Costa. And-Or Parallel Prolog: A Recomputation Based Approach. New Generation Computing, Vol. 11, Num. 3-4, pages 297-323, Springer Verlag, 1993.

    JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS CORE: B. Citeseer: position 305/1221 (top 25%), impact 0.97. Average position: top 50%.

  27. M. Hermenegildo, K. Greene. The &-Prolog System: Exploiting Independent And-Parallelism. New Generation Computing, Vol. 9, Num. 3,4, pages 233-257, Springer Verlag, 1991.

    JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS CORE: B. Citeseer: position 305/1221 (top 25%), impact 0.97. Average position: top 50%.

  28. M. Hermenegildo, E. Tick. Memory Referencing Characteristics and Caching Performance of AND-Parallel Prolog on Shared-Memory Architectures. New Generation Computing, Vol. 7, Num. 1, pages 37-58, Springer Verlag, October 1989.

    JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS CORE: B. Citeseer: position 305/1221 (top 25%), impact 0.97. Average position: top 50%.


Books and Monographs:

  1. Nataliia Stulova. Dynamic Checking of Assertions for Higher-order Predicates. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 73 pages, July 2013.

  2. P. Chico de Guzmán. Advanced Evaluation Strategies for Tabling and Parallelism in Logic Programs. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, November 2012.

  3. E. Mera. A Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, November 2010.

  4. J.F. Morales. Advanced Compilation Techniques for Logic Programming. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, July 2010.

  5. A. Casas. Automatic Unrestricted Independent And-Parallelism in Declarative Multiparadigm Languages. Ph.D. Thesis, University of New Mexico (UNM), Electrical and Computer Engineering Department, University of New Mexico, Albuquerque, NM 87131-0001 (USA), September 2008.

  6. D. Cabeza. An Extensible, Global Analysis Friendly Logic Programming System. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, August 2004.

  7. J. Navas. CoLogNetWS: Desarrollo de un Sitio Web con Actualización Distribuida de las Bases de Datos en varios nodos . Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 196 pages, December 2003.

  8. M. Carro. Some Contributions to the Study of Parallelism and Concurrency in Logic Programming. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, November 2001.

  9. J.M. Gómez. WebDB: Un Interfaz WWW a Bases de Datos Genérico. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, 156 pages, September 1999.

  10. F. Bueno Carrillo. Automatic Optimisation and Parallelisation of Logic Programs through Program Transformation. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), October 1994.

  11. M. Carro. Implementation of Non-Determinism and Optimization of the Memory Usage in the And-Parallel Execution of Logic Programs. Ms. Thesis, T. University of Madrid (UPM), Facultad de Informática, Madrid, 28660, 99 pages, December 1993. In Spanish.

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

  13. M. Hermenegildo. An Abstract Machine Based Execution Model for Computer Architecture Design and Efficient Implementation of Logic Programs in Parallel. Ph.D. Thesis, Dept. of Electrical and Computer Engineering (Dept. of Computer Science TR-86-20), University of Texas at Austin, Austin, Texas 78712, 244 pages, UMI, Boston, MA and U. of Texas, August 1986.


Invited Papers and Tutorials:

  1. The Ciao Development Team. The Ciao Multiparadigm Language and Program Development Environment. 6 pages, November 2006. The ALP Newsletter 19(3). The Association for Logic Programming..

  2. M. Hermenegildo, G. Puebla, F. Bueno, P. López-García. Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). 10th International Static Analysis Symposium (SAS'03), LNCS, Num. 2694, pages 127-152, Springer-Verlag, June 2003.

  3. M. Hermenegildo, F. Bueno, G. Puebla, P. López-García. Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor (also available in ps). 1999 Int'l. Conference on Logic Programming, pages 52-66, MIT Press, November 1999.


Articles in Books and Other Collections:

  1. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, J.F. Morales, G. Puebla. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. Festschrift for Ugo Montanari, LNCS, Vol. 5065, pages 209-237, Springer-Verlag, June 2008.

  2. R. Bagnara, M. Carro. Foreign Language Interfaces for Prolog: a Terse Survey. The ALP Newsletter, Vol. 15, Num. 2, The Association for Logic Programming, May 2002. Available from http://www.logicprogramming.org/newsletter/may02/index.html.

  3. M. 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: An Experimentation Workbench for Future (C)LP Systems (also available in ps). Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65-85, Nova Science, April 1999.

  4. K. Shen, M. Hermenegildo. Divided We Stand: Parallel Distributed Stack Memory Management. Implementations of Logic Programming Systems, pages 185-203, Kluwer Academic Publishers, 1994.


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

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

  2. M. Hermenegildo. Bridging the Performance Gap between Declarative and Imperative Languages. 4th. International Symposium on Knowledge Engineering, pages 91-104, Xerox Corp., May 1990.

  3. M. Hermenegildo, R. Warren. Designing a High-Performance Parallel Logic Programming System. Computer Architecture News, Special Issue on Parallel Symbolic Programming, Vol. 15, Num. 1, pages 43-53, ACM, March 1987.


Publications in Refereed Workshops:

  1. Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro. Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems. Proceedings of XIV Jornadas sobre Programación y Lenguajes (PROLE 2016), EPTCS, September 2017.

  2. Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. Proceedings of XIV Jornadas sobre Programación y Lenguajes (PROLE 2016), EPTCS, September 2017.

  3. Jan Kuper, Lutz Schubert, Kilian Kempf, Colin Glas, Daniel Rubio Bonilla, Manuel Carro. Program Transformations in the POLCA Project. Design, Automation, and Testing in Europe, EDAA, March 2016.

  4. Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño. Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code. Proceedings of the First International Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016), March 2016.

  5. Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro. Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems. Proceedings of the First International Workshop on Program Transformation for Programmability in Heterogeneous Architectures (PROHA 2016), March 2016.

  6. J.F. Morales, M. V. Hermenegildo. Pre-Indexed Terms for Prolog. Pre-proceedings of the 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'14), 15 pages, September 2014.

  7. J.F. Morales, M. V. Hermenegildo. Towards Pre-Indexed Terms. 14th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS-WLPE 2014), 14 pages, RWTH Aachen University, July 2014. http://sunsite.informatik.rwth-aachen.de/Publications/AIB/2014.

  8. Z. Drey, J.F. Morales, M. V. Hermenegildo. Reversible Language Extensions and their Application in Debugging. 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), 15 pages, September 2012.

  9. E.J. Gallego Arias, R. Haemmerlé, M. V. Hermenegildo, J.F. Morales . The Ciao CLP(FD) Library: A Modular CLP Extension for Prolog. 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), 15 pages, September 2012.

  10. J. F. Morales, R. Haemmerlé, M. Carro, M. V. Hermenegildo. Lightweight compilation of (C)LP to JavaScript. XII Jornadas sobre Programación y Lenguajes (PROLE), Universidad de Almería, 2012.

  11. P. Chico de Guzmán, M. Carro, M. Hermenegildo, P. Stuckey. A General Implementation Framework for Tabled CLP. XII Jornadas sobre Programacin y Lenguajes (PROLE), Universidad de Almería, 2012.

  12. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. The Ciao Approach to the Dynamic vs. Static Language Dilemma. Proceedings for the International Workshop on Scripts to Programs, STOP'11, 4 pages, ACM, 2011.

  13. L. Scandolo, C. Kunz, G. Barthe, M.V. Hermenegildo. Program Parallelization using Synchronized Pipelining. Pre-proceedings of the 19th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'09), September 2009.

  14. D. Ivanovic, J.F. Morales, M. Carro, M. Hermenegildo. Towards Structured State Threading in Prolog. CICLOPS 2009, 15 pages, July 2009.

  15. P. Chico de Guzmán, M. Carro, M. Hermenegildo. A Program Transformation for Continuation Call-Based Tabled Execution. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), 15 pages, University of Udine, December 2008.

  16. P. Chico de Guzmán, M. Carro, M. Hermenegildo, Claudio Silva, Ricardo Rocha. Some Improvements over the Continuation Call Tabling Implementation Technique. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), 15 pages, Universidade do Porto, September 2007.

  17. A. Casas, M. Carro, M. Hermenegildo. Towards High-Level Execution Primitives for And-Parallelism: Preliminary Results. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'07, ICLP associated workshop), 15 pages, U. of Evora, September 2007.

  18. A. Casas, M. Carro, M. Hermenegildo. Towards A High-Level Implementation of Flexible Parallelism Primitives for Symbolic Languages. Parallel Symbolic Computation (PASCO'07), 2 pages, ACM Press, July 2007. Extended Abstract.

  19. M. Hermenegildo, The Ciao Development Team. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. ECOOP Workshop on Multiparadigm Programming with Object-Oriented Languages MPOOL 2007, July 2007.

  20. A. Casas, D. Cabeza, M. Hermenegildo. Functional Notation and Lazy Evaluation in Ciao. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'05, ICLP associated workshop), pages 25-36, October 2005.

  21. J. Morales, M. Carro, M. Hermenegildo. Improving the Compilation of Prolog to C Using Type and Determinism Information: Preliminary Results. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), pages 89-102, December 2003.

  22. J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. Hermenegildo. A Generic Persistence Model for CLP Systems (And Two Useful Implementations). Second CoLogNet Workshop on Implementation Technology for Computational Logic Systems (Formal Methods '03 Workshop), pages 51-64, Facultad de Informatica, September 2003.

  23. J. Correas, F. Bueno. A Configuration Framework for Distributed Logic Applications (also available in ps). Proc. of the AGP'2002 Joint Conference on Declarative Programming, pages 123-137, Facultad de Informatica, September 2002.

  24. J. Morales, M. Carro. Improving the Compilation of Prolog to C Using Type Information: Preliminary Results. Proceedings of the CBD 2002 / ITCLS 2002 CoLogNet Joint Workshop, pages 167-180, Facultad de Informatica, September 2002.

  25. M. Carro, M. Hermenegildo. A Simple Approach to Distributed Objects in Prolog. Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), July 2002.

  26. A. Pineda, F. Bueno. The O'Ciao Approach to Object Oriented Logic Programming (also available in ps). Colloquium on Implementation of Constraint and LOgic Programming Systems (ICLP associated workshop), July 2002.

  27. J. Correas, F. Bueno. A Configuration Framework to Develop and Deploy Distributed Logic Applications (also available in ps). ICLP01 Colloquium on Implementation of Constraint and LOgic Programming Systems, 15 pages, November 2001.

  28. S. Muñoz, J.J. Moreno-Navarro, M. Hermenegildo. Efficient Implementation of General Negation Using Abstract Interpretation. Proc. of the AGP'2000 Joint Conference on Declarative Programming, 15 pages, Italian Association for Logic Programming, December 2000.

  29. G. Puebla, M. Hermenegildo. Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs (also available in ps). Special Issue on Optimization and Implementation of Declarative Programming Languages, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 2, 25 pages, Elsevier - North Holland, March 2000.

  30. D. Cabeza, M. Hermenegildo. The Ciao Module System: A New Module System for Prolog. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 3, Elsevier - North Holland, March 2000.

  31. D. Cabeza, M. Hermenegildo. The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30(3), Elsevier - North Holland, March 2000.

  32. I. de Castro Dutra, V. Santos Costa, G. Gupta, E. Pontelli, M. Carro, P. Kacsuk (editors). Parallelism and Implementation Technology for (Constraint) Logic Programming. Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 2, Elsevier - North Holland, March 2000.

  33. D. Cabeza, M. Hermenegildo. A New Module System for Prolog (also available in ps). ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 110-128, N.M. State U., December 1999.

  34. D. Cabeza, M. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library (also available in ps). ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 147-164, N.M. State U., December 1999.

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

  36. D. Cabeza, M. 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/.

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

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

  39. D. Cabeza, M. 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/.

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

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

  42. D. Tang, E. Pontelli, G. Gupta, M. Carro. Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems. ICLP WS on Parallel and Data Parallel Execution of Logic Programs, 14 pages, Uppsala University, CS Department, Box 311, S-751 Uppsala, Sweden, June 1994.

  43. M. Hermenegildo, The CLIP Group. Some Methodological Issues in the Design of CIAO - A Generic, Parallel Concurrent Constraint System. Proc. of the 1994 ICOT/NSF Workshop on Parallel and Concurrent Programming, U. of Oregon, March 1994.

  44. M. Hermenegildo, The CLIP Group. Towards CIAO-Prolog - A Parallel Concurrent Constraint System. Proc. of the Compulog Net Area Workshop on Parallelism and Implementation Technologies, 10 pages, FIM/UPM, Madrid, Spain, June 1993.

  45. G. Gupta, M. Hermenegildo, V. Santos-Costa. Generalized Stack Copying for And-Or Parallel Implementations. JICSLP'92 Workshop on Parallel Execution, 15 pages, 1992.

  46. G. Gupta, M. Hermenegildo. ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP '91 Workshop on Parallel Execution of Logic Programs, LNCS, Num. 569, pages 146-159, Springer-Verlag, December 1991.

  47. M. Hermenegildo, M. Carro. Experimenting with Independent And-Parallel Prolog using Standard Prolog. Jornadas Nacionales de Programación Declarativa, pages 478-497, U. Malaga, October 1991.


Technical Reports and Manuals:

  1. Guillermo Vigueras, Salvador Tamarit, Manuel Carro, Julio Mariño. Towards a Rule-Based Approach to Generate High-Performance Scientific Code. Num. CLIP1/2015.0, 8 pages, The CLIP Lab, March 2015. http://cliplab.org/papers/vigueras15-rule-based.pdf.

  2. P. López-García, L. Darmawan, F. Bueno, M. Hermenegildo. Towards Resource Usage Function Verification based on Input Data Size Intervals. Num. CLIP4/2011.0, Technical University of Madrid (UPM), April 2011. Available at http://cliplab.org/papers/resource-verif-11-tr.pdf.

  3. P. Chico de Guzmán, A. Casas, M. Carro, M. Hermenegildo. A Simulation Study on Parallel Backtracking with Solution Memoing for Independent And-Parallelism. Num. CLIP1/2011.0, 12 pages, Technical University of Madrid (UPM), January 2011.

  4. J.F. Morales, M. Hermenegildo, R. Haemmerlé. Towards Modular Extensions for a Modular Language. Num. CLIP2/2011.0, 15 pages, Technical University of Madrid (UPM), January 2011.

  5. E. Mera, T. Trigo, P. López-García, M. Hermenegildo. An Approach to Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Num. CLIP3/2010.0, 29 pages, Technical University of Madrid (UPM), March 2010.

  6. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Num. CLIP2/2010.0, Technical University of Madrid (UPM), March 2010. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).

  7. P. López-García, L. Darmawan, F. Bueno, M. Hermenegildo. Towards a Framework for Resource Usage Verification and Debugging in the CiaoPP System. Num. CLIP1/2010.0, Technical University of Madrid (UPM), February 2010. Available at http://cliplab.org/papers/resource-verif-10-tr.pdf.

  8. J.F. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Num. CLIP4/2009.0, Technical University of Madrid (UPM), October 2009.

  9. P. López-García, F. Bueno, M. Hermenegildo. Inferring Determinacy and Mutual Exclusion in Logic Programs Using Mode and Type Analysis. Num. CLIP2/2009.0, Technical University of Madrid (UPM), February 2009.

  10. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. Bridge Program Transformation for the CCall Tabling Scheme. Num. CLIP6/2008.0, Technical University of Madrid (UPM), September 2008.

  11. A. Casas, M. Carro, M. Hermenegildo. A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism. Num. TR-CS-2008-10, University of New Mexico (UNM), September 2008.

  12. P. Chico de Guzmán, M. Carro, M. V. Hermenegildo. An Improved Continuation Call-Based Implementation of Tabling. Num. CLIP9/2007.0, Technical University of Madrid (UPM), August 2007.

  13. A. Casas, M. Carro, M. V. Hermenegildo. Towards a High-Level Implementation of Execution Primitives for Non-Restricted, Independent And-Parallelism. Num. CLIP7/2007.0, Technical University of Madrid (UPM), August 2007.

  14. P. López-García, F. Bueno, M. Hermenegildo. Inferring Determinacy in Logic Programs Using Mode and Type Information. Num. CLIP3/2007.0, Technical University of Madrid (UPM), February 2007.

  15. J. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in an Extension of Prolog. Num. CLIP8/2006.0, 43 pages, Technical University of Madrid (UPM), December 2006.

  16. M. Hermenegildo, The Ciao Development Team. Why Ciao? -An Overview of the Ciao System's Design Philosophy. Num. CLIP7/2006.0, 6 pages, Technical University of Madrid (UPM), December 2006. Available from: http://cliplab.org/papers/ciao-philosophy-note-tr.pdf.

  17. A. Kostenko, M. Carro. A Preliminary DHT Infrastructure for Ciao. Num. CLIP12/2006.0, Technical University of Madrid (UPM), August 2006.

  18. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. Hermenegildo. Optimizing Prolog for Small Devices: A Case Study. Num. CLIP4/2006.0, 16 pages, Technical University of Madrid, April 2006. Under consideration for publication.

  19. A. Casas, D. Cabeza, M. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. Num. TR-CS-2006-07, 17 pages, University of New Mexico (UNM), 2006.

  20. J. Morales, M. Carro, G. Puebla, M. Hermenegildo. A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization. Num. CLIP3/2005.0, 21 pages, Technical University of Madrid (UPM), May 2005.

  21. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, 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.

  22. J. Morales, M. Carro, M. Hermenegildo. Improving the Compilation of Prolog to C Using Moded Types and Determinism Information. Num. CLIP5/2004.0, Technical University of Madrid, April 2004.

  23. Pattengale, N. D.. Transactional Semantics. Num. CLIP3/04.0, 24 pages, Technical University of Madrid (UPM), February 2004.

  24. J. Navas, D. Cabeza, M. Hermenegildo. CoLogNetWS: Development of a Web Site with Database Multinode Distributed Update. Num. CLIP6/2003.0, 157 pages, CoLogNet Project, November 2003.

  25. David Trallero Mena. Local and Global Multiattributed Variables. Num. CLIP10/03.0, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2003.

  26. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, 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.

  27. F. Bueno, J. Correas. Active Module Service. Num. CLIP4/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.

  28. M. Carro, M. Hermenegildo. Remote Execution and Mobile Objects in Ciao Prolog. Num. CLIP3/2001.1, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2001.

  29. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, 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.

  30. J. Correas. A Low Level Bidirectional Prolog / Java Interface: Design and Prolog API. Num. CLIP1/2000.1, 50 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.

  31. J. Correas. A Low Level Bidirectional Prolog / Java Interface: Java API. Num. CLIP2/2000.1, 80 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.

  32. J. Correas. An Object Oriented Bidirectional Prolog to Java Interface. Num. CLIP3/2000.1, 30 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.

  33. M. Hermenegildo, D. Cabeza, M. Rodriguez. Using Ciao inside GNU Emacs. Num. CLIP4/2000.1, 18 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.

  34. D. Cabeza, M. Hermenegildo. Higher-order Logic Programming in Ciao. Num. CLIP7/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  35. D. Cabeza, M. Hermenegildo. A New Module System for Prolog. Num. CLIP8/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  36. D. Cabeza, M. Hermenegildo. The Ciao Modular Compiler and Its Generic Program Processing Library. Num. CLIP9/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  37. A. Pineda. Object Oriented Programming Library (O'Ciao). Num. CLIP 6/99.0, Facultad de Informática, UPM, July 1999.

  38. A. Pineda, M. Hermenegildo. O'Ciao: An Object Oriented Programming Model for (CIAO) Prolog (also available in ps). Num. CLIP 5/99.0, Facultad de Informática, UPM, July 1999.

  39. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, 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.

  40. D. Cabeza, S. Genaim, C. Taboch. WOF Interpreter and GDA Installation Guide and Demo. Num. D3.1.M2-A4, 10 pages, RADIOWEB Project, December 1998.

  41. J.M. Gomez, D. Cabeza, M. Hermenegildo. persdb: Persistent Database Interface. Num. CLIP9/98.0, 24 pages, December 1998.

  42. I. Caballero, D. Cabeza, S. Genaim, J.M. Gomez, M. Hermenegildo. persdb_sql: SQL Persistent Database Interface. Num. CLIP10/98.0, 39 pages, December 1998.

  43. J.M. Gomez, D. Cabeza, M. Hermenegildo. WebDB: A Database WWW Interface. Num. CLIP11/98.0, 32 pages, December 1998.

  44. D. Cabeza, M. Hermenegildo, S. Genaim, C. Taboch. Design of a Generic, Homogeneous Interface to Relational Databases. Num. D3.1.M1-A1, CLIP7/98.0, 10 pages, September 1998.

  45. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, 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.

  46. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, 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.

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

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

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

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

  51. M. García de la Banda, M. Hermenegildo, K. Marriott. Independence in Dynamically Scheduled Languages. Num. CLIP12/94.0, T. University of Madrid (UPM), September 1994. Presented at the ICLP'93 Post Conference Workshop on Concurrent Constraint Logic Programming.

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

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

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

  55. K. Shen, M. Hermenegildo. A Flexible Scheduling and Memory Management Scheme for Non-Deterministic, And-parallel Execution. Num. CLIP6/94.0, T.U. of Madrid (UPM), June 1994.

  56. M. Hermenegildo. A Simple, Distributed Version of the &-Prolog System. School of Computer Science, Technical University of Madrid (UPM), April 1994. Available from http://www.cliplab.org/.

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

  58. F. Bueno, M. García de la Banda, D. Cabeza, M. Hermenegildo. The &-Prolog Compiler System -- Automatic Parallelization Tools for LP. Num. CLIP5/93.0, Computer Science Dept., Technical U. of Madrid (UPM), June 1993.

  59. K. Shen, M. Hermenegildo. A Flexible Scheduling and Memory Management Scheme for Non-Deterministic, And-parallel Execution of Logic Programs. Num. CLIP 4/93.0, T.U. of Madrid (UPM), April 1993. Presented at the ICLP'93 Post Conference Workshop on Logic Program Implementation.

  60. G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. New Mexico State University, Computer Science Dept., 1993.

  61. G. Gupta, M. Hermenegildo, E. Pontelli, V. Santos-Costa. ACE: And/Or-parallel Copying-based Execution of Logic Programs. Num. CLIP7/92.0, U. of Madrid (UPM) and New Mexico S.U., November 1992.

  62. M. Hermenegildo, M. Carro. Experimenting with Independent And-Parallel Prolog using Standard Prolog. 24 pages, U. of Madrid (UPM), October 1991. Presented at the 1991 Spanish Workshop on Declarative Programming, Malaga.

  63. M. Olmedilla, F. Bueno, M. Hermenegildo. Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. Num. FIM106.1/AI/91, Facultad de Informatica, U. P. Madrid, Spain, October 1991.

  64. G. Gupta, M. Hermenegildo. ACE: And/Or-parallel Copying-based Execution of Logic Programs. Num. without, T.U. of Madrid (UPM), June 1991. also in Proc. ICLP91 Workshop on Parallel Execution of Logic Programs.

  65. G. Gupta, V. Santos-Costa, R. Yang, M. Hermenegildo. IDIOM: A Model Intergrating Dependent-, Independent-, and Or-parallelism. Num. CLIP8/91.0, University of Bristol, March 1991.

  66. M. Hermenegildo, K. Greene. &-Prolog and its Performance: Exploiting Independent And-Parallelism. Num. ACA-ST-536-89, MCC, Austin, TX 78759, November 1989.

  67. M. Hermenegildo, F. Rossi. Strict and Non-Strict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. Num. ACA-ST-537-89, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, November 1989.

  68. M. Hermenegildo, K. Muthukumar, K. Greene, F. Rossi, R. I. Nasr. An Overview of the PAL Project. Num. ACT-ST-234-89, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, September 1989.

  69. K. Muthukumar, M. Hermenegildo. Efficient Methods for Supporting Side Effects in Independent And-parallelism and Their Backtracking Semantics. Num. ACA-ST-031-89, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, January 1989.

  70. M. Hermenegildo, E. Tick. Memory Performance of AND-Parallel Prolog on Shared-Memory Architectures. Num. ACA-ST-036-88, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, January 1988.

  71. M. Hermenegildo, E. Tick. Performance Evaluation of the RAP-WAM Restricted AND-Parallel Architecture on Shared Memory Multiprocessors. Num. PP-085-87, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, March 1987.

  72. R. Warren, M. Hermenegildo. Experimenting with Prolog: An Overview. Num. ACA/PP 43, Microelectronics and Computer Technology Corporation (MCC), 3500 W. Balcones Center Dr. Austin, TX 78759, March 1987.

  73. M. Hermenegildo. Relating Goal Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. Num. PP-408-86, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, December 1986.

  74. M. Hermenegildo, G. J. Lipovski, R. Warren. Goal Scheduling and Memory Management in Parallel Logic Systems. Num. PP-083-86, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, March 1986.

  75. M. Hermenegildo. A Restricted AND-parallel Execution Model and Abstract Machine for Prolog Programs. Num. PP-104-85, Microelectronics and Computer Technology Corporation (MCC), Austin, TX 78759, October 1985.

Last updated on Tue Mar 14 09:28:32 CET 2017