Publications - Partial Evaluation and Anti-Unification


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, to appear. Springer 2018.
    © Springer-Verlag
  • 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: Mon Jul 30 14:23:39 -05 2018