Publications - Partial Evaluation and Anti-Unification


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: Tue Feb 21 22:37:26 CET 2017