( en | de | ru )

 

Disambiguation of "Vanhoof, Wim"

Author of the publication

copydeleteadd this publication to your clipboard
Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)

, and . CoRR, (2007)

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

Binding-Time Analysis for Mercury., , and . Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, Springer, (2004)Fingerprinting Logic Programs, and . CoRR, (2007)Towards testing of full-scale SQL applications using relational symbolic execution., , and . CSTVA, page 12-17. ACM, (2014)A Dataflow Analysis for Comparing and Reordering Predicate Arguments., and . ICLP, volume 385 of EPTCS, page 41-54. (2023)Offline specialisation in Prolog using a hand-written compiler generator., , , and . Theory Pract. Log. Program., 4 (1-2): 139-191 (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)Clones in Logic Programs and How to Detect Them., and . LOPSTR, volume 7225 of Lecture Notes in Computer Science, page 90-105. Springer, (2011)On Detecting Semantic Clones in Constraint Logic Programs., and . IWSC, page 32-38. IEEE, (2022)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)Moulinog: A Generator of Random Student Assignments Written in Prolog., , and . PPDP, page 15:1-15:5. ACM, (2020)