Publications - Partial Evaluation, Embedding and Anti-Unification

2023

  • María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña
    Optimizing Maude Programs via Program Specialization.
    In Proceedings of Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems.
    Lecture Notes in Computer Science, volume 13160, pages 21-50.
    ©     Springer-Verlag
    Available: DOI

  • María Alpuente, Demis Ballis, Santiago Escobar, Daniel Galán, Julia Sapiña
    Safety enforcement via programmable strategies in Maude.
    Journal of Logical and Algebraic Methods in Programming, Volume 132, January 2023.
    © Elsevier Science
    Available: DOI

    • 2022

  • María Alpuente, Demis Ballis, Santiago Escobar and Julia Sapiña.
    Variant-based equational anti-unification. .
    In proceedings of     32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022).
    Lecture Notes in Computer Science, to appear. Springer 2022.
    © Springer-Verlag

  • María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
    Symbolic Specialization of Rewriting Logic Theories with Presto.
    Theory and Practice of Logic Programming, volume 22, number 3, pages 444--495 (2022).
    © Cambridge University Press
    Available: DOI

  • María Alpuente, Demis Ballis, Santiago Escobar, Julia Sapiña
    Optimization of Rewrite Theories by Equational Partial Evaluation.
    Journal of Logical and Algebraic Methods in Programming, Volume 124, January 2022.
    © Elsevier Science
    Available: DOI

  • María Alpuente, Santiago Escobar, José Meseguer, Julia Sapiña
    Order-sorted equational generalization algorithm revisited.
    Annals of Mathematics and Artificial Intelligence, volume 90, number 5, pages 499--522 (2022).
    © Springer
    Available: DOI

    • 2020

  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
    A Partial Evaluation Framework for Order-sorted Equational Programs modulo Axioms.
    Journal of Logical and Algebraic Methods in Programming, volume 110, 2020.
    © Elsevier Science
    Available: DOI

  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer
    Order-sorted Homeomorphic Embedding modulo Combinations of Associativity and/or Commutativity Axioms.
    Fundamenta Informaticae, 177 (2020) 297-329.
    © IOS Press
    Available: DOI

    • 2019

  • María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar, and José Meseguer.
    ACUOS2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance.
    In proceedings of     16th edition of the European Conference on Logics in Artificial Intelligence (JELIA 2019), May 8-10, 2019, Rende, Italy
    Lecture Notes in Computer Science, volume 11468, pages 171-181.
    © Springer-Verlag
    Available: DOI

    • 2018

  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, Jose Meseguer.
    Homeomorphic Embedding modulo Combinations of Associativity and Commutativity Axioms.
    In proceedings of     28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018).
    Lecture Notes in Computer Science, volume 11408, pages 38-44.
    © Springer-Verlag
    Available: DOI

    • 2017

  • María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer.
    Partial Evaluation of Order-sorted Equational Programs modulo Axioms.
    In proceedings of     26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016).
    © Springer-Verlag
    Available: DOI

    • 2014

  • María Alpuente, Santiago Escobar, Javier Espert, and José Meseguer.
    ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance.
    In proceedings of     14th European Confernece on Logics in Artificial Intelligence (JELIA 2014), September 24th - 26th, Madeira, Portugal
    Lecture Notes in Computer Science, volume 8761, pages 573--581, Springer 2014.
    © Springer-Verlag
    Available: Preliminary version DOI

  • María Alpuente, Santiago Escobar, Javier Espert, José Meseguer.
    A Modular Order-sorted Equational Generalization Algorithm.
    Information and Computation, Volume 235, April 2014, Pages 98-136.
    © Elsevier
    Available: Preliminary version DOI

    • 2013

  • Santiago Escobar.
    Unification and Anti-unification modulo Equational Theories.
    The 27th International Workshop on Unification (UNIF 2013), EPiC - EasyChair Proceedings in Computing, volume 19, page 1, 2013.

  • María Alpuente, Santiago Escobar, Javier Espert.
    Detecting ACU Structural Symmetries.
    The 27th International Workshop on Unification (UNIF 2013), EPiC - EasyChair Proceedings in Computing, volume 19, page 3-7, 2013.

    • 2008

  • María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
    A Modular Equational Generalization Algorithm
    In proceedings of 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR08),
    LNCS 5438, pages 24-39, 2008.
    © Springer-Verlag
    Available: DOI PDF

  • María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda.
    Order-Sorted Generalization
    In proceedings of 17th Int'l Workshop on Functional and (Constraint) Logic Programming (WFLP'08),
    Electronic Notes in Theoretical Computer Science, volume 246, pages 27-38, 2008.
    © Elsevier
    Available: DOI link PDF

    • Last modified: Sep 22 2023