Wim Vanhoof

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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wim Vanhoof