Semantic code clones in logic programs

Céline Dandois, Wim Vanhoof

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

Résumé

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.

langue originaleAnglais
titreLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages35-50
Nombre de pages16
Volume7844 LNCS
Les DOIs
Etat de la publicationPublié - 14 nov. 2013
Evénement22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012 - Leuven, Belgique
Durée: 18 sept. 201220 sept. 2012

Série de publications

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7844 LNCS
ISSN (imprimé)03029743

Une conférence

Une conférence22nd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2012
Pays/TerritoireBelgique
La villeLeuven
période18/09/1220/09/12

Empreinte digitale

Examiner les sujets de recherche de « Semantic code clones in logic programs ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation