Generalization-Driven Semantic Clone Detection in CLP

DOI10.1007/978-3-030-45260-5_14zbMath1502.68074OpenAlexW3017676835MaRDI QIDQ5097639

Wim Vanhoof, 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)

Cites Work

• Unnamed Item
• Comparison and evaluation of code clone detection techniques and tools: A qualitative approach
• Static and dynamic slicing of constraint logic programs
• Semantic Code Clones in Logic Programs
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Logic program specialisation through partial deduction: Control issues
• Horn clauses as an intermediate representation for program analysis and transformation
• Clones in Logic Programs and How to Detect Them
• Anti-unification in Constraint Logic Programming

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