Generalization-Driven Semantic Clone Detection in CLP

Wim Vanhoof; Gonzague Yernaux

doi:10.1007/978-3-030-45260-5_14

Generalization-Driven Semantic Clone Detection in CLP

Wim Vanhoof, Gonzague Yernaux

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

24 Downloads (Pure)

Abstract

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).

Original language	English
Title of host publication	Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers
Editors	Maurizio Gabbrielli
Publisher	Springer
Pages	228-242
Number of pages	15
Volume	12042
ISBN (Print)	9783030452599
DOIs	https://doi.org/10.1007/978-3-030-45260-5_14 https://doi.org/10.1007/978-3-030-45260-5_14
Publication status	Published - 21 Apr 2020
Event	29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019 - Porto, Portugal Duration: 8 Oct 2019 → 10 Oct 2019

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	12042 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019
Country/Territory	Portugal
City	Porto
Period	8/10/19 → 10/10/19

Access to Document

generalization-driven-clone-detectionSubmitted manuscript, 337 KB

Cite this

Vanhoof, W., & Yernaux, G. (2020). Generalization-Driven Semantic Clone Detection in CLP. In M. Gabbrielli (Ed.), Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers (Vol. 12042, pp. 228-242). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12042 LNCS). Springer. https://doi.org/10.1007/978-3-030-45260-5_14, https://doi.org/10.1007/978-3-030-45260-5_14

Vanhoof, Wim ; Yernaux, Gonzague. / Generalization-Driven Semantic Clone Detection in CLP. Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. editor / Maurizio Gabbrielli. Vol. 12042 Springer, 2020. pp. 228-242 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{32dc408a5fa54ad698a26f0efc4531ad,

title = "Generalization-Driven Semantic Clone Detection in CLP",

abstract = "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).",

author = "Wim Vanhoof and Gonzague Yernaux",

note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019 ; Conference date: 08-10-2019 Through 10-10-2019",

year = "2020",

month = apr,

day = "21",

doi = "10.1007/978-3-030-45260-5_14",

language = "English",

isbn = "9783030452599",

volume = "12042",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

pages = "228--242",

editor = "Maurizio Gabbrielli",

booktitle = "Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers",

}

Vanhoof, W & Yernaux, G 2020, Generalization-Driven Semantic Clone Detection in CLP. in M Gabbrielli (ed.), Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. vol. 12042, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12042 LNCS, Springer, pp. 228-242, 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, Porto, Portugal, 8/10/19. https://doi.org/10.1007/978-3-030-45260-5_14, https://doi.org/10.1007/978-3-030-45260-5_14

Generalization-Driven Semantic Clone Detection in CLP. / Vanhoof, Wim ; Yernaux, Gonzague.

Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. ed. / Maurizio Gabbrielli. Vol. 12042 Springer, 2020. p. 228-242 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12042 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Generalization-Driven Semantic Clone Detection in CLP

AU - Vanhoof, Wim

AU - Yernaux, Gonzague

PY - 2020/4/21

Y1 - 2020/4/21

N2 - 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).

AB - 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).

UR - http://www.scopus.com/inward/record.url?scp=85084184419&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-45260-5_14

DO - 10.1007/978-3-030-45260-5_14

M3 - Conference contribution

AN - SCOPUS:85084184419

SN - 9783030452599

VL - 12042

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 228

EP - 242

BT - Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers

A2 - Gabbrielli, Maurizio

PB - Springer

T2 - 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019

Y2 - 8 October 2019 through 10 October 2019

ER -

Vanhoof W , Yernaux G. Generalization-Driven Semantic Clone Detection in CLP. In Gabbrielli M, editor, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Vol. 12042. Springer. 2020. p. 228-242. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-45260-5_14, 10.1007/978-3-030-45260-5_14

Generalization-Driven Semantic Clone Detection in CLP

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Algorithmic equivalence by generalization-driven transformations of logic programs