Browse Research and Tech Reports - Computer Science by Author "Espert, Javier"

  • 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)