Browse Dept. of Computer Science by Subject "generalization, anti-unification, equational reasoning, rewriting logic,"

  • Alpuente, Mar��a; Escobar, Santiago; Espert, Javier; Meseguer, Jos�� (2011-07-28)
    Generalization, also called anti-unification, is the dual of unification. Given terms t and t', a generalization is a term t'' of which t and t' are substitution instances. The dual of a most general unifier (mgu) is that ...


    application/pdfPDF (696Kb)