Generalization-Driven Semantic Clone Detection in CLP

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

12 Téléchargements (Pure)

Résumé

In this work we provide an algorithm capable of searching for semantic clones in CLP program code. Two code fragments are considered semantically cloned (at least to some extent) when they can both be transformed into a single code fragment thus representing the functionality that is shared between the fragments. While the framework of what constitutes such semantic clones has been established before, it is parametrized by a set of admissible program transformations and no algorithm exists that effectively performs the search with a concrete set of allowed transformations. In this work we use the well-known unfolding and slicing transformations to establish such an algorithm, and we show how the generalization of CLP goals can be a driving factor both for controlling the search process (i.e. keeping it finite) as for guiding the search (i.e. choosing what transformation(s) to apply at what moment).

langue originaleAnglais
titreLogic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers
rédacteurs en chefMaurizio Gabbrielli
EditeurSpringer
Pages228-242
Nombre de pages15
Volume12042
ISBN (imprimé)9783030452599
Les DOIs
Etat de la publicationPublié - 21 avr. 2020
Evénement29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019 - Porto, Portugal
Durée: 8 oct. 201910 oct. 2019

Série de publications

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12042 LNCS
ISSN (imprimé)0302-9743
ISSN (Electronique)1611-3349

Une conférence

Une conférence29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019
PaysPortugal
La villePorto
période8/10/1910/10/19

Empreinte digitale

Examiner les sujets de recherche de « Generalization-Driven Semantic Clone Detection in CLP ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation