DROPS

Document

DOI: 10.4230/LIPIcs.ICLP.2010.241

Program analysis for code duplication in logic programs

Authors: Celine Dandois

Published in: LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010)

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.

Cite as

Celine Dandois. Program analysis for code duplication in logic programs. In Technical Communications of the 26th International Conference on Logic Programming. Leibniz International Proceedings in Informatics (LIPIcs), Volume 7, pp. 241-247, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{dandois:LIPIcs.ICLP.2010.241,
  author =	{Dandois, Celine},
  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 =	{Hermenegildo, Manuel and Schaub, Torsten},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.241},
  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}
}

Search Results

Documents authored by Dandois, Celine

Program analysis for code duplication in logic programs

Abstract

Cite as

Thanks for your feedback!

Could not send message