28/04/202513:30 - 14:30RISC, Hagenberg
On the Computational Verification of Anti-unification
Anti-unification, or generalization, is the algebraic problem of determining the commonalities between two expressions. The problem is crucial in computation, particularly in the automation of equational reasoning, with applications ranging from detecting regularities in code to detecting commonalities in data. ...