Algorithmic equivalence by generalization-driven transformations of logic programs

Project: PHD

Conference contribution

Search results

  • 2020

    Generalization-Driven Semantic Clone Detection in CLP

    Vanhoof, W. & Yernaux, G., 21 Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium, LOPSTR 2019, Revised Selected Papers. Gabbrielli, M. (ed.). Springer, Vol. 12042. p. 228-242 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12042 LNCS).

    Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

    19 Downloads (Pure)