Wim Vanhoof

From MaRDI portal
Person:2039952

Available identifiers

zbMath Open vanhoof.wimWikidataQ102340041 ScholiaQ102340041MaRDI QIDQ2039952

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61249732024-04-10Paper
Generalization-Driven Semantic Clone Detection in CLP2022-08-25Paper
An SMT-based concolic testing tool for logic programs2021-07-06Paper
Anti-unification in Constraint Logic Programming2020-05-04Paper
Semantic Code Clones in Logic Programs2013-09-13Paper
Sharp phase transition thresholds for the Paris Harrington Ramsey numbers for a fixed dimension2013-09-02Paper
Clones in Logic Programs and How to Detect Them2013-03-13Paper
Binding-Time Annotations without Binding-Time Analysis2011-05-06Paper
A Fixed Point Semantics for Logic Programs Extended with Cuts2011-03-04Paper
Towards a Framework for Constraint-Based Test Case Generation2010-05-04Paper
Automatic Generation of Test Inputs for Mercury2009-03-24Paper
Towards a Normal Form for Mercury Programs2009-01-22Paper
Searching Semantically Equivalent Code Fragments in Logic Programs2008-04-24Paper
Program Development in Computational Logic2005-12-23Paper
Program Development in Computational Logic2005-12-23Paper
Offline specialisation in Prolog using a hand-written compiler generator2004-09-24Paper
https://portal.mardi4nfdi.de/entity/Q48088122004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44750992004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44119792003-07-13Paper
https://portal.mardi4nfdi.de/entity/Q27670332002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q44992482001-03-05Paper
https://portal.mardi4nfdi.de/entity/Q45063952000-09-18Paper
https://portal.mardi4nfdi.de/entity/Q49448822000-03-22Paper
https://portal.mardi4nfdi.de/entity/Q42179371998-11-11Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Wim Vanhoof