Generalization-Driven Semantic Clone Detection in CLP

DOI10.1007/978-3-030-45260-5_14MaRDI QIDQ5097639zbMATH OpenOpenAlexFDO

Authors Wim Van Hoof, Gonzague Yernaux

Publication date 25 August 2022

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

Full work available at URL https://doi.org/10.1007/978-3-030-45260-5_14

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Clones in logic programs and how to detect them
• Semantic code clones in logic programs
• Abstract clones for abstract syntax
• scientific article; zbMATH DE number 1200168

Cites work

• Anti-unification in constraint logic programming
• Clones in logic programs and how to detect them
• Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
• Horn clauses as an intermediate representation for program analysis and transformation
• scientific article; zbMATH DE number 1158762 (Why is no real title available?)
• Logic program specialisation through partial deduction: Control issues
• Semantic code clones in logic programs
• Static and dynamic slicing of constraint logic programs
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1

Cited in

(5)

• Semantic code clones in logic programs
• Clones in logic programs and how to detect them
• Searching Semantically Equivalent Code Fragments in Logic Programs
• Supporting maintenance of formal mathematics with similarity search
• Equational anti-unification over absorption theories

This page was built for publication: Generalization-Driven Semantic Clone Detection in CLP

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