( en | de | ru )

 

Disambiguation of "Vanhoof, Wim"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Generation of Test Inputs for Mercury.

, , and . LOPSTR, volume 5438 of Lecture Notes in Computer Science, page 71-86. Springer, (2008)

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 Damen

Wim Beyers

 

Other publications of authors with the same name

Specialising the Other Way Arond., , , and . IJCSLP, page 279-293. MIT Press, (1998)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)Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021)., and . CoRR, (2021)Binding-Time Annotations Without Binding-Time Analysis., and . LPAR, volume 2250 of Lecture Notes in Computer Science, page 707-722. Springer, (2001)A Framework for Bottom Up Specialisation of Logic Programs., , and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 54-72. Springer, (1998)Declarative workflows to efficiently manage flexible and advanced business processes., , , and . PPDP, page 209-218. ACM, (2010)Towards a Framework for Constraint-Based Test Case Generation., , and . LOPSTR, volume 6037 of Lecture Notes in Computer Science, page 128-142. Springer, (2009)Scrimmo: A Real-Time Web Scraper Monitoring the Belgian Real Estate Market., , and . WI/IAT, page 335-338. IEEE, (2023)Binding-Time Analysis for Mercury., , and . Program Development in Computational Logic, volume 3049 of Lecture Notes in Computer Science, Springer, (2004)