1 paper
Mauricio Ayala-Rincón, Thaynara Arielly de Lima, Maria Júlia Dias Lima +2
In syntactic anti-unification, one is concerned with finding the commonalities between terms, while (uniformly) abstracting their differences. The original goal of anti-unification…