Activities per year
Abstract
Antiunification refers to the process of generalizing two (or more) goals into a single, more general, goal that captures some of the structure that is common to all initial goals. In general one is typically interested in computing what is often called a most specific generalization, that is a generalization that captures a maximal amount of shared structure.
In this work we address the problem of antiunification in CLP, where goals can be seen as unordered sets of atoms and/or constraints. We show that while the concept of a most specific generalization can easily be defined in this context, computing it becomes an NPcomplete problem. We subsequently introduce a generalization algorithm that computes a welldefined abstraction whose computation can be bound to a polynomial execution time. Initial experiments show that even a naive implementation of our algorithm produces acceptable generalizations in an efficient way.
In this work we address the problem of antiunification in CLP, where goals can be seen as unordered sets of atoms and/or constraints. We show that while the concept of a most specific generalization can easily be defined in this context, computing it becomes an NPcomplete problem. We subsequently introduce a generalization algorithm that computes a welldefined abstraction whose computation can be bound to a polynomial execution time. Initial experiments show that even a naive implementation of our algorithm produces acceptable generalizations in an efficient way.
Original language  English 

Pages (fromto)  773789 
Number of pages  17 
Journal  Theory and Practice of Logic Programming 
Volume  19 
Issue number  56 
DOIs  
Publication status  Published  20 Sept 2019 
Keywords
 (most specific) generalization
 Antiunification
 CLP
 program analysis
Fingerprint
Dive into the research topics of 'Antiunification in Constraint Logic Programming'. Together they form a unique fingerprint.
35th International Conference on Logic Programming
Gonzague Yernaux (Participant)
20 Sept 2019 → 25 Sept 2019Activity: Participating in or organising an event types › Participation in conference

Antiunification in Constraint Logic Programming
Gonzague Yernaux (Speaker)
22 Sept 2019Activity: Talk or presentation types › Oral presentation