Wim Van Hoof

Available identifiers

zbMath Open vanhoof.wimWikidataQ102340041 ScholiaQ102340041MaRDI QIDQ2039952

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124973	2024-04-10	Paper
Generalization-Driven Semantic Clone Detection in CLP	2022-08-25	Paper
An SMT-based concolic testing tool for logic programs	2021-07-06	Paper
Anti-unification in Constraint Logic Programming	2020-05-04	Paper
Semantic Code Clones in Logic Programs	2013-09-13	Paper
Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension	2013-09-02	Paper
Clones in Logic Programs and How to Detect Them	2013-03-13	Paper
Binding-Time Annotations without Binding-Time Analysis	2011-05-06	Paper
A Fixed Point Semantics for Logic Programs Extended with Cuts	2011-03-04	Paper
Towards a Framework for Constraint-Based Test Case Generation	2010-05-04	Paper
Automatic Generation of Test Inputs for Mercury	2009-03-24	Paper
Towards a Normal Form for Mercury Programs	2009-01-22	Paper
Searching Semantically Equivalent Code Fragments in Logic Programs	2008-04-24	Paper
Program Development in Computational Logic	2005-12-23	Paper
Program Development in Computational Logic	2005-12-23	Paper
Offline specialisation in Prolog using a hand-written compiler generator	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4808812	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4475099	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4411979	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q2767033	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4499248	2001-03-05	Paper
https://portal.mardi4nfdi.de/entity/Q4506395	2000-09-18	Paper
https://portal.mardi4nfdi.de/entity/Q4944882	2000-03-22	Paper
https://portal.mardi4nfdi.de/entity/Q4217937	1998-11-11	Paper

Research outcomes over time

This page was built for person: Wim Van Hoof