2024
DOI: 10.1007/978-3-031-63501-4_17
|View full text |Cite
|
Sign up to set email alerts
|

Equational Anti-unification over Absorption Theories

Mauricio Ayala-Rincón,
David M. Cerna,
Andrés Felipe González Barragán
et al.

Abstract: Interest in anti-unification, the dual problem of unification, is rising due to various new applications. For example, anti-unification-based techniques have been used recently in software analysis and related areas such as clone detection and automatic program repair. While syntactic forms of anti-unification have found many interesting uses, some aspects of modern applications are more appropriately modeled by reasoning modulo an equational theory. Thus, extending existing anti-unification methods to deal wi… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Publication Types

Select...

Relationship

0
0

Authors

Journals

citations
Cited by 0 publications
references
References 33 publications
0
0
0
Order By: Relevance

No citations

Set email alert for when this publication receives citations?