Searching Semantically Equivalent Code Fragments in Logic Programs

DOI10.1007/11506676_1MaRDI QIDQ5458790zbMATH OpenOpenAlexFDO

Authors Wim Van Hoof

Publication date 24 April 2008

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11506676_1

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Semantic code clones in logic programs
• Program analysis for code duplication in logic programs
• Clones in logic programs and how to detect them
• Generalization-Driven Semantic Clone Detection in CLP
• Towards a Normal Form for Mercury Programs

Cited in

(9)

• Program analysis for code duplication in logic programs
• Clones in logic programs and how to detect them
• Towards a Normal Form for Mercury Programs
• Semantic code clones in logic programs
• scientific article; zbMATH DE number 1692952 (Why is no real title available?)
• Graph-based duplicated code detection with RefactorErl
• PEQtest: testing functional equivalence
• Non-discriminating arguments and their uses
• Semantic code browsing

This page was built for publication: Searching Semantically Equivalent Code Fragments in Logic Programs

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