Publications in reverse chronological order:

Articles in Refereed Conferences

  • I. Casso, J. F. Morales, P. LopezGarcia, R. Giacobazzi, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Proceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), LNCS, SpringerVerlag, 2020.
  • I. Casso, J. F. Morales, P. LopezGarcia, M. V. Hermenegildo. An Integrated Approach to AssertionBased Random Testing in Prolog. Proceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), LNCS, SpringerVerlag, 2020.
  • M. Klemen, P. LopezGarcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs. Proceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), LNCS, SpringerVerlag, 2020.
  • I. GarciaContreras, J.F. Morales, M. V. Hermenegildo. Incremental Analysis of Logic Programs with Assertions and Open Predicates. Proceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), LNCS, SpringerVerlag, 2020.
  • I. GarciaContreras, J.F. Morales, M. V. Hermenegildo. Multivariant Assertionbased Guidance in Abstract Interpretation. Proceedings of the 28th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR18), LNCS, Num. 11408, pages 184--201, SpringerVerlag, January 2019.
  • M. Klemen, N. Stulova, P. LopezGarcia, J. F. Morales, M. V. Hermenegildo. Static Performance Guarantees for Programs with Runtime Checks. 20th Intl. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP18), 12 pages, ACM Press, September 2018.
  • N. Stulova, J. F. Morales, M. V. Hermenegildo. Exploiting Term Hiding to Reduce Runtime Checking Overhead. 20th International Symposium on Practical Aspects of Declarative Languages (PADL 2018), LNCS, Num. 10702, pages 99--115, SpringerVerlag, January 2018.
  • M. Klemen, N. Stulova, P. LopezGarcia, J. F. Morales, M. V. Hermenegildo. Static Performance Guarantees for Programs with Runtime Checks. PPDP, 12 pages, ACM Press, 2018.
  • N. Stulova, J. F. Morales, M. V. Hermenegildo. Reducing the Overhead of Assertion Runtime Checks via Static Analysis. 18th Intl. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP16), pages 90--103, ACM Press, September 2016.
  • B. Kafle, J. P. Gallagher, J. F. Morales. RAHFT: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 1723, 2016, Proceedings, Part I, pages 261--268, 2016.
  • J.F. Morales, M. V. Hermenegildo. PreIndexed Terms for Prolog. Proceedings of the 24th International Symposium on LogicBased Program Synthesis and Transformation (LOPSTR14), LNCS, Vol. 8981, pages 317--331, Springer, 2015.
  • N. Stulova, J. F. Morales, M. V. Hermenegildo. Assertionbased Debugging of HigherOrder (C)LP Programs. 16th Intl. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP14), pages 225--235, ACM Press, September 2014.
  • Z. Drey, J. F. Morales, M. V. Hermenegildo, M. Carro. Reversible Language Extensions and their Application in Debugging. Practical Aspects of Declarative Languages (PADL13), LNCS, Vol. 7752, Springer, January 2013.
  • J. F. Morales, M. V. Hermenegildo, R. Haemmerle. Modular Extensions for Modular (Logic) Languages. Proceedings of the 21th International Symposium on LogicBased Program Synthesis and Transformation (LOPSTR11), LNCS, Vol. 7225, pages 139--154, Springer, July 2011.
  • J. Morales, M. Carro, M. V. 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. V. 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. V. 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. V. 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

  • N. Stulova, J. F. Morales, M. V. Hermenegildo. Some Tradeoffs in Reducing the Overhead of Assertion Runtime Checks via Static Analysis. Science of Computer Programming, Vol. 155, pages 3--26, Elsevier NorthHolland, April 2018. Selected and Extended papers from the 2016 International Symposium on Principles and Practice of Declarative Programming.
  • I. GarciaContreras, J. F. Morales, M. V. Hermenegildo. Semantic Code Browsing. Theory and Practice of Logic Programming, 32nd Intl. Conference on Logic Programming (ICLP16) Special Issue, Vol. 16, Num. 5-6, pages 721--737, Cambridge U. Press, September 2016.
  • J.F. Morales, M. Carro, M. V. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory and Practice of Logic Programming, Vol. 16, Num. 1, pages 1--58, Cambridge University Press, January 2016.
  • N. Stulova, J. F. Morales, M. V. Hermenegildo. Practical Runtime Checking via Unobtrusive Property Caching. Theory and Practice of Logic Programming, 31st Intl. Conference on Logic Programming (ICLP15) Special Issue, Vol. 15, Num. 04-05, pages 726--741, Cambridge U. Press, September 2015. http://arxiv.org/abs/1507.05986.
  • M. V. Hermenegildo, F. Bueno, M. Carro, P. LopezGarcia, 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.
  • J. F. Morales, R. Haemmerle, M. Carro, M. V. Hermenegildo. Lightweight compilation of (C)LP to JavaScript. Theory and Practice of Logic Programming, 28th Intl. Conference on Logic Programming (ICLP12) Special Issue, Vol. 12, Num. 4-5, pages 755--773, Cambridge U. Press, 2012.

Invited Papers and Tutorials

Books and Monographs

  • R. Haemmerle, J.F. Morales. Proceedings of the 23rd Workshop on Logicbased methods in Programming Environments (WLPE 2013). CoRR abs/1308.2055, 2013.
  • J.F. Morales. Advanced Compilation Techniques 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

Publications in Workshops

  • I. Casso, J. F. Morales, P. LopezGarcia, R. Giacobazzi, M. V. Hermenegildo. Computing Abstract Distances in Logic Programs. Preproceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), November 2019.
  • I. Casso, J. F. Morales, P. LopezGarcia, M. V. Hermenegildo. An Integrated Approach to AssertionBased Random Testing in Prolog. Preproceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), November 2019.
  • M. Klemen, P. LopezGarcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. A General Framework for Static Cost Analysis of Parallel Logic Programs. Preproceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), November 2019.
  • I. GarciaContreras, J.F. Morales, M. V. Hermenegildo. Experiments in ContextSensitive Incremental and Modular Static Analysis in CiaoPP. 10th Workshop on Tools for Automatic Program Analysis (TAPAS19), October 2019. (Extended Abstract).
  • I. GarciaContreras, J.F. Morales, M. V. Hermenegildo. Incremental Analysis of Logic Programs with Assertions and Open Predicates. Preproceedings of the 29th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR19), October 2019.
  • M. Klemen, P. LopezGarcia, J. Gallagher, J.F. Morales, M. V. Hermenegildo. Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 238--240, Open Publishing Association (OPA), September 2019. (Extended Abstract).
  • I. Casso, J. F. Morales, P. LopezGarcia, M. V. Hermenegildo. Towards Computing Abstract Distances in Logic Programs. Technical Communications of the 35th International Conference on Logic Programming (ICLP 2019), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 65--66, Open Publishing Association (OPA), September 2019. (Extended Abstract).
  • I. GarciaContreras, J.F. Morales, and M. V. Hermenegildo. Multivariant Assertionbased Guidance in Abstract Interpretation. Preproceedings of the 28th International Symposium on Logicbased Program Synthesis and Transformation (LOPSTR18), September 2018.
  • I. GarciaContreras, J. F. Morales, M. V. Hermenegildo. Towards Incremental and Modular Contextsensitive Analysis. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, Dagstuhl Press, July 2018. (Extended Abstract).
  • M. Klemen, N. Stulova, P. LopezGarcia, J. F. Morales, M. V. Hermenegildo. Towards Static Performance Guarantees for Programs with Runtime Checks. Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OpenAccess Series in Informatics (OASIcs), 2 pages, July 2018. (Extended Abstract).
  • N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Runtime Checks Simplification via Term Hiding. Technical Communications of the 33rd International Conference on Logic Programming (ICLP 2017), OpenAccess Series in Informatics (OASIcs), Vol. 58, pages 91--93, Schloss DagstuhlLeibnizZentrum fuer Informatik, 2017. (Extended Abstract).
  • J.F. Morales, M. V. Hermenegildo. PreIndexed Terms for Prolog. Preproceedings of the 24th International Symposium on LogicBased Program Synthesis and Transformation (LOPSTR14), 15 pages, September 2014.
  • J.F. Morales, M. V. Hermenegildo. Towards PreIndexed Terms. 14th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPSWLPE 2014), 14 pages, RWTH Aachen University, July 2014. http://sunsite.informatik.rwthaachen.de/Publications/AIB/2014.
  • N. Stulova, J. F. Morales, M. V. Hermenegildo. Towards Assertionbased Debugging of HigherOrder (C)LP Programs (Extended Abstract). Theory and Practice of Logic Programming, 30th Intl. Conference on Logic Programming (ICLP14) Special Issue, Online Supplement, Vol. 14, Num. 4-5, pages 209--210, Cambridge U. Press, July 2014.
  • 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.
  • E.J. GallegoArias, R. Haemmerle, 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.
  • J. F. Morales, R. Haemmerle, M. Carro, M. V. Hermenegildo. Lightweight compilation of (C)LP to JavaScript. XII Jornadas sobre Programacion y Lenguajes (PROLE), Universidad de Almeria, 2012.
  • M. V. Hermenegildo, F. Bueno, M. Carro, P. LopezGarcia, 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. V. Hermenegildo. Towards Structured State Threading in Prolog. CICLOPS 2009, 15 pages, July 2009.
  • J. Morales, M. Carro, M. V. 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