Publications in reverse chronological order:
Articles in Refereed Conferences
- J. F. Morales, M. V. Hermenegildo, R. Haemmerle. Modular Extensions for Modular (Logic) Languages. 21th International Symposium on LogicBased Program Synthesis and Transformation (LOPSTR11), July 2011. To appear.
- J. Morales, M. Carro, M. Hermenegildo. Comparing Tag Scheme Variations Using an Abstract Machine Generator. 10th Intl. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP08), pages 32--43, ACM Press, July 2008.
- J.F. Morales, M. Carro, M. Hermenegildo. Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LogicBased Program Synthesis and Transformation (LOPSTR06), LNCS, Num. 4407, pages 77--93, July 2007.
- M. Carro, J. Morales, H.L. Muller, G. Puebla, M. Hermenegildo. HighLevel Languages for Small Devices: A Case Study. Compilers, Architecture, and Synthesis for Embedded Systems, pages 271--281, ACM Press / Sheridan, October 2006.
- 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.
- 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, SpringerVerlag, June 2004.
Articles in Refereed Journals
- M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez, 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.
Invited Papers and Tutorials
- M. V. Hermenegildo, F. Bueno, M. Carro, P. LopezGarcia, R. Haemmerle, E. Mera, J. F. Morales, G. Puebla. An Overview of the Ciao System. Proc. of RuleMLEurope 2011, LNCS, Num. 6826, pages 2--3, SpringerVerlag, July 2011. (abstract of invited talk).
Books and Monographs
- J.F. Morales. Advanced Compilation Tecniques for Logic Programming. Ph.D.\ Thesis, Universidad Politecnica de Madrid (UPM), Facultad Informatica UPM, 28660Boadilla del Monte, MadridSpain, July 2010.
- M. Carro, Jose F. Morales. Proceedings of CICLOPS 2004. Num. CLIP11/2004.0, 75 pages, Fundacion General de la Universidad Politecnica de Madrid, Technical University of Madrid, September 2004.
Articles in Books and Other Collections
- M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez, 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, Num. 5065, pages 209--237, SpringerVerlag, June 2008.
Publications in Workshops
- M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez, 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, STOP11, 4 pages, ACM, 2011.
- D. Ivanovic, J.F. Morales, M. Carro, M. Hermenegildo. Towards Structured State Threading in Prolog. CICLOPS 2009, 15 pages, July 2009.
- 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.
- 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.
Technical Reports and Manuals
- F. Bueno, M. Carro, M. Hermenegildo, R. Haemmerle, P. LopezGarcia, E. Mera, and J.F. Morales, G. Puebla(Eds.). The Ciao System. Ref. Manual (V1.14). July 2011. Available at texttthttp://www.ciaohome.org.
- M. Hermenegildo, J.F. Morales. The LPdoc Documentation Generator. Ref. Manual (V3.0). July 2011. Available at texttthttp://www.ciaohome.org.
- J.F. Morales, M. Hermenegildo, R. Haemmerle. Towards Modular Extensions for a Modular Language. Num. CLIP2/2011.0, 15 pages, Technical University of Madrid (UPM), January 2011.
- M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez, 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 emphTheory and Practice of Logic Programming (TPLP).
- 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.
- M. Hermenegildo, E. Albert, P. Arenas, F. Bueno, M. Carro, A. Casas, P. Chico de Guzman, J. Correas, S. Genaim, J. Lipton, Pedro Lopez Garcia, M. Mendez, E. Mera, J. Morales, J. Navas, R. Padilla, P. Pietrzak, G. Puebla, M. Zamalloa, D. Zanardini. Rigorous Methods for Mobile and Heterogeneous Software Systems Second Year Report. Num. CLIP3/2008.0, Technical University of Madrid (UPM), April 2008.
- M. Hermenegildo, E. Albert, P. Arenas, A. Beascoa, F. Bueno, D. Cabeza, M. Carro, J. Correas, A. Garcia Pa noso, J. Lipton, Pedro Lopez Garcia, E. Mera, J. Morales, C. Ochoa, G. Puebla. Rigorous Methods for Mobile and Heterogeneous Software Systems First Year Report. Num. CLIP4/2007.0, Technical University of Madrid (UPM), March 2007.
- 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.
- 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.
- 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.
- J. M. Gomez, M. Carro, J. F. Morales. The External Interface. Num. CLIP6/2004.0, 4 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D12 of the AMOS Project.
- J. F. Morales, E. Mera, M. Carro, J. Correas. The Interface Internals. Num. CLIP7/2004.0, 30 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D14 of the AMOS Project.
- J. Correas, E. Mera, J. F. Morales. Final Matching Engine. Num. CLIP8/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D15 of the AMOS Project.
- M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. Hermenegildo. Web site. Num. CLIP9/2004.0, 2 pages, School of Computer Science, Technical University of Madrid, May 2004. Deliverable D17 of the AMOS Project.
- 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.
- M. Carro, J. M. Gomez, J. Correas, J. F. Morales, E. Mera, G. Puebla, D. Cabeza, F. Bueno, C. Daffara, M. Hermenegildo. AMOS Users Manual. Num. CLIP4/2004.0, 44 pages, Technical University of Madrid, March 2004.