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)

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

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)