Publications - Variant Narrowing & Narrowing in Maude


2014

  • Santiago Escobar.
    Functional Logic Programming in Maude.
    In proceedings of
    Specification, Algebra, and Software: A Festschrift Symposium in Honor of Kokichi Futatsugit (SAS 2014), Kanazawa, Japan, 2014.
    Lecture Notes in Computer Science, to appear, Springer 2014.
    © Springer-Verlag
    Available: Preliminary version
  • 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.
  • 2012

  • Santiago Escobar, Ralf Sasse, José Meseguer.
    Folding variant narrowing and optimal variant termination.
    The Journal of Logic and Algebraic Programming, Volume 81, Issues 7-8, pages 898-928, 2012.
    © Elsevier
    Available: Preliminary version DOI link
  • 2011

  • Kyungmin Bae, Santiago Escobar, and José Meseguer.
    Abstract Logical Model Checking of Infinite-State Systems Using Narrowing.
    In proceedings of
    24th International Conference on Rewriting Techniques and Applications (RTA 2013),
    LIPIcs-Leibniz International Proceedings in Informatics, volume 21, pages 81-96, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
    Available: DOI
  • 2010

  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Folding Variant Narrowing and Optimal Variant Termination
    In proceedings of 8th International Workshop on Rewriting Logic and its Applications (WRLA 2010),
    LNCS 6381, pages 52-68. 2010.
    © Springer-Verlag
    Available: PDF DOI
  • 2009

  • Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Pat Lincoln, Narciso Marti-Oliet, José Meseguer and Carolyn Talcott.
    Unification and Narrowing in Maude 2.4 (system description)
    In proceedings of 20th International Conference on Rewriting Techniques and Applications (RTA'09), LNCS 5595, pages 380-390, 2009.
    © Springer-Verlag
    Available: DOI PDF
  • 2008

  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Effectively Checking or Disproving the Finite Variant Property
    In proceedings of 19th International Conference on Rewriting Techniques and Applications (RTA 2008),
    LNCS 5117, pages 79-93. 2008.
    © Springer-Verlag
    Available: DOI PDF
  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Equational Unification by Variant Narrowing
    In proceedings of 22nd International Workshop on Unification,
    short paper, 2008
  • Santiago Escobar, José Meseguer, Ralf Sasse.
    Variant Narrowing and Equational Unification
    In proceedings of 7th International Workshop on Rewriting Logic and its Applications (WRLA08),
    Electronic Notes in Theoretical Computer Science, volume 238, issue 3, pages 103-119, 2009
    © Elsevier
    Available: DOI PDF

  • Last modified: Thu Feb 27 12:42:33 CET 2014