License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.ICLP.2010.241
URN: urn:nbn:de:0030-drops-26033
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2010/2603/
Dandois, Celine
Program analysis for code duplication in logic programs
Abstract
In this PhD project, we deal with the issue of code duplication in logic programs. In particular semantical duplication or redundancy is generally viewed as a possible seed of inconvenience in all phases of the program lifecycle, from development to maintenance. The core of this research is the elaboration of a theory of semantical duplication, and of an automated program analysis capable of detecting such duplication and which could steer, to some extent, automatic refactoring of program code.
BibTeX - Entry
@InProceedings{dandois:LIPIcs:2010:2603,
author = {Celine Dandois},
title = {{Program analysis for code duplication in logic programs}},
booktitle = {Technical Communications of the 26th International Conference on Logic Programming},
pages = {241--247},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-939897-17-0},
ISSN = {1868-8969},
year = {2010},
volume = {7},
editor = {Manuel Hermenegildo and Torsten Schaub},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2010/2603},
URN = {urn:nbn:de:0030-drops-26033},
doi = {10.4230/LIPIcs.ICLP.2010.241},
annote = {Keywords: Logic programming, program comprehension, static program analysis, code duplication, code clone, software engineering}
}
Keywords: |
|
Logic programming, program comprehension, static program analysis, code duplication, code clone, software engineering |
Collection: |
|
Technical Communications of the 26th International Conference on Logic Programming |
Issue Date: |
|
2010 |
Date of publication: |
|
25.06.2010 |