( en | de | ru )

 

Disambiguation of "Vanhoof, Wim"

Author of the publication

copydeleteadd this publication to your clipboard
Towards testing of full-scale SQL applications using relational symbolic execution.

, , and . CSTVA, page 12-17. ACM, (2014)

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)Offline specialisation in Prolog using a hand-written compiler generator., , , and . Theory Pract. Log. Program., 4 (1-2): 139-191 (2004)A Dataflow Analysis for Comparing and Reordering Predicate Arguments., and . ICLP, volume 385 of EPTCS, page 41-54. (2023)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)