Program analysis for code duplication in logic programs

DOI10.4230/LIPICS.ICLP.2010.241zbMath1237.68042OpenAlexW2167383918MaRDI QIDQ2883100

Céline Dandois

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_2f60.html

zbMATH Keywords

logic programmingsoftware engineeringstatic program analysisprogram comprehensioncode duplicationcode clone

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Unnamed Item

This page was built for publication: Program analysis for code duplication in logic programs