Program analysis for code duplication in logic programs

DOI10.4230/LIPICS.ICLP.2010.241MaRDI QIDQ2883100zbMATH OpenOpenAlexFDO

Authors Céline Dandois

Publication date 11 May 2012

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

zbMATH Keywords

static program analysislogic programmingsoftware engineeringprogram comprehensioncode duplicationcode clone

Mathematics Subject Classification ID

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

Recommendations

• Searching Semantically Equivalent Code Fragments in Logic Programs
• Semantic code clones in logic programs
• scientific article; zbMATH DE number 1692952
• Clones in logic programs and how to detect them
• scientific article; zbMATH DE number 1832217

Cited in

(4)

• Searching Semantically Equivalent Code Fragments in Logic Programs
• Clones in logic programs and how to detect them
• Semantic code clones in logic programs
• scientific article; zbMATH DE number 1692952 (Why is no real title available?)

Describes a project that uses

Uses Software

• Erlang/OTP

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2883100)