Semantic code clones in logic programs

Céline Dandois, Wim Vanhoof

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Abstract

In this paper, we study what is a semantic code clone pair in a logic program. Unlike our earlier work, that focused on simple syntactic equivalence for defining clones, we propose a more general approximation based on operational semantics and transformation rules. This new definition captures a wider set of clones, and allows to formally define the conditions under which a number of refactorings can be applied.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages35-50
Number of pages16
Volume7844 LNCS
DOIs
Publication statusPublished - 14 Nov 2013
Event22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012 - Leuven, Belgium
Duration: 18 Sep 201220 Sep 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7844 LNCS
ISSN (Print)03029743

Conference

Conference22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012
Country/TerritoryBelgium
CityLeuven
Period18/09/1220/09/12

Fingerprint

Dive into the research topics of 'Semantic code clones in logic programs'. Together they form a unique fingerprint.

Cite this