Found 1 document(s)
Page 1 of 1
-
Anti-unification, also known as generalization, is the process of extracting commonalities shared between a set of symbolic expressions. In the syntactic case, a unique minimal solution exists commonly referred to as the...