Fingerprinting Logic Programs

Alexander Serebrenik, Wim Vanhoof

Research output: Working paper

Abstract

In this work we present work in progress on functionality duplication detection in logic programs. Eliminating duplicated functionality recently became prominent in context of refactoring. We describe a quantitative approach that allows to measure the 'similarity' between two predicate definitions. Moreover, we show how to compute a so-called 'fingerprint' for every predicate. Fingerprints capture those characteristics of the predicate that are significant when searching for duplicated functionality. Since reasoning on fingerprints is much easier than reasoning on predicate definitions, comparing the fingerprints is a promising direction in automated code duplication in logic programs.
Original languageEnglish
Place of PublicationSeatlle, Washington, USA
PublisherW. Vanhoof and S. Hernandez
Publication statusPublished - 2006

Cite this

Serebrenik, A., & Vanhoof, W. (2006). Fingerprinting Logic Programs. Seatlle, Washington, USA: W. Vanhoof and S. Hernandez.
Serebrenik, Alexander ; Vanhoof, Wim. / Fingerprinting Logic Programs. Seatlle, Washington, USA : W. Vanhoof and S. Hernandez, 2006.
@techreport{07e0d6999329415a98954aef1f658770,
title = "Fingerprinting Logic Programs",
abstract = "In this work we present work in progress on functionality duplication detection in logic programs. Eliminating duplicated functionality recently became prominent in context of refactoring. We describe a quantitative approach that allows to measure the 'similarity' between two predicate definitions. Moreover, we show how to compute a so-called 'fingerprint' for every predicate. Fingerprints capture those characteristics of the predicate that are significant when searching for duplicated functionality. Since reasoning on fingerprints is much easier than reasoning on predicate definitions, comparing the fingerprints is a promising direction in automated code duplication in logic programs.",
author = "Alexander Serebrenik and Wim Vanhoof",
year = "2006",
language = "English",
publisher = "W. Vanhoof and S. Hernandez",
type = "WorkingPaper",
institution = "W. Vanhoof and S. Hernandez",

}

Serebrenik, A & Vanhoof, W 2006 'Fingerprinting Logic Programs' W. Vanhoof and S. Hernandez, Seatlle, Washington, USA.

Fingerprinting Logic Programs. / Serebrenik, Alexander; Vanhoof, Wim.

Seatlle, Washington, USA : W. Vanhoof and S. Hernandez, 2006.

Research output: Working paper

TY - UNPB

T1 - Fingerprinting Logic Programs

AU - Serebrenik, Alexander

AU - Vanhoof, Wim

PY - 2006

Y1 - 2006

N2 - In this work we present work in progress on functionality duplication detection in logic programs. Eliminating duplicated functionality recently became prominent in context of refactoring. We describe a quantitative approach that allows to measure the 'similarity' between two predicate definitions. Moreover, we show how to compute a so-called 'fingerprint' for every predicate. Fingerprints capture those characteristics of the predicate that are significant when searching for duplicated functionality. Since reasoning on fingerprints is much easier than reasoning on predicate definitions, comparing the fingerprints is a promising direction in automated code duplication in logic programs.

AB - In this work we present work in progress on functionality duplication detection in logic programs. Eliminating duplicated functionality recently became prominent in context of refactoring. We describe a quantitative approach that allows to measure the 'similarity' between two predicate definitions. Moreover, we show how to compute a so-called 'fingerprint' for every predicate. Fingerprints capture those characteristics of the predicate that are significant when searching for duplicated functionality. Since reasoning on fingerprints is much easier than reasoning on predicate definitions, comparing the fingerprints is a promising direction in automated code duplication in logic programs.

M3 - Working paper

BT - Fingerprinting Logic Programs

PB - W. Vanhoof and S. Hernandez

CY - Seatlle, Washington, USA

ER -

Serebrenik A, Vanhoof W. Fingerprinting Logic Programs. Seatlle, Washington, USA: W. Vanhoof and S. Hernandez. 2006.