Program analysis for code duplication in logic programs

DOI10.4230/LIPICS.ICLP.2010.241zbMATH Open1237.68042OpenAlexW2167383918MaRDI QIDQ2883100FDOQ2883100

Authors: Céline Dandois 

Publication date: 11 May 2012

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

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

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)

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
• Title not available (Why is that?)

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)