( en | de | ru )

 

Disambiguation of "Vanhoof, Wim"

Author of the publication

copydeleteadd this publication to your clipboard
Generalization-Driven Semantic Clone Detection in CLP.

, and . LOPSTR, volume 12042 of Lecture Notes in Computer Science, page 228-242. Springer, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wim Wätjen

Wim Lutzke

Wim Broekaert

Wim Beyers

Wim Damen

 

Other publications of authors with the same name

Towards testing of full-scale SQL applications using relational symbolic execution., , and . CSTVA, page 12-17. ACM, (2014)Binding-Time Analysis for Mercury., , and . Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, Springer, (2004)Neuroevolutionary Transfer Learning for Time Series Forecasting., , , and . SOCO (1), volume 749 of Lecture Notes in Networks and Systems, page 219-228. Springer, (2023)On Detecting Semantic Clones in Constraint Logic Programs., and . IWSC, page 32-38. IEEE, (2022)Clones in Logic Programs and How to Detect Them., and . LOPSTR, volume 7225 of Lecture Notes in Computer Science, page 90-105. Springer, (2011)Moulinog: A Generator of Random Student Assignments Written in Prolog., , and . PPDP, page 15:1-15:5. ACM, (2020)Reuse of Results in Termination Analysis of Typed Logic Programs., , , and . SAS, volume 2477 of Lecture Notes in Computer Science, page 477-492. Springer, (2002)Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)., and . CoRR, (2021)Collecting Potential Optimisations., , and . LOPSTR, volume 2664 of Lecture Notes in Computer Science, page 109-110. Springer, (2002)Searching Semantically Equivalent Code Fragments in Logic Programs.. LOPSTR, volume 3573 of Lecture Notes in Computer Science, page 1-18. Springer, (2004)