TY - GEN
T1 - Semantic code clones in logic programs
AU - Dandois, Céline
AU - Vanhoof, Wim
PY - 2013/11/14
Y1 - 2013/11/14
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84887305934&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-38197-3_4
DO - 10.1007/978-3-642-38197-3_4
M3 - Conference contribution
AN - SCOPUS:84887305934
SN - 9783642381966
VL - 7844 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 35
EP - 50
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
T2 - 22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012
Y2 - 18 September 2012 through 20 September 2012
ER -