Wim Vanhoof

According to our database, Wim Vanhoof authored at least 56 papers between 1997 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Dataflow Analysis for Comparing and Reordering Predicate Arguments.

Gonzague Yernaux, Wim Vanhoof

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

Scrimmo: A Real-Time Web Scraper Monitoring the Belgian Real Estate Market.

Felix Barzin, Gonzague Yernaux, Wim Vanhoof

Proceedings of the IEEE International Conference on Web Intelligence and Intelligent Agent Technology, 2023

Neuroevolutionary Transfer Learning for Time Series Forecasting.

Aymeric Vellinger, J. F. Torres, Federico Divina, Wim Vanhoof

Proceedings of the 18th International Conference on Soft Computing Models in Industrial and Environmental Applications (SOCO 2023), 2023

Predicate Anti-unification in (Constraint) Logic Programming.

Gonzague Yernaux, Wim Vanhoof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

EvscApp: Evaluating the Pedagogical Relevance of Educational Escape Games for Computer Science.

Rudy Kabimbi Ngoy, Gonzague Yernaux, Wim Vanhoof

Proceedings of the 15th International Conference on Computer Supported Education, 2023

2022

On Detecting Semantic Clones in Constraint Logic Programs.

Gonzague Yernaux, Wim Vanhoof

Proceedings of the 16th IEEE International Workshop on Software Clones, 2022

Anti-Unification of Unordered Goals.

Gonzague Yernaux, Wim Vanhoof

Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021

Pre-proceedings of the 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2021).

Emanuele De Angelis, Wim Vanhoof

CoRR, 2021

Technical Report: Anti-unification of Unordered Goals.

Gonzague Yernaux, Wim Vanhoof

CoRR, 2021

2020

Moulinog: A Generator of Random Student Assignments Written in Prolog.

Gonzague Yernaux, Wim Vanhoof, Laurent Schumacher

Proceedings of the PPDP '20: 22nd International Symposium on Principles and Practice of Declarative Programming, 2020

An SMT-Based Concolic Testing Tool for Logic Programs.

Sophie Fortz, Fred Mesnard, Étienne Payet, Gilles Perrouin, Wim Vanhoof, Germán Vidal

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020

2019

Anti-unification in Constraint Logic Programming.

Gonzague Yernaux, Wim Vanhoof

Theory Pract. Log. Program., 2019

Analysis of students' preconceptions of concurrency.

Cédric Libert, Wim Vanhoof

Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence, 2019

Generalization-Driven Semantic Clone Detection in CLP.

Wim Vanhoof, Gonzague Yernaux

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

2017

Survey of Software Visualization Systems to Teach Message-Passing Concurrency in Secondary School.

Cédric Libert, Wim Vanhoof

Proceedings of the Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems, 2017

2016

Towards a framework for algorithm recognition in binary code.

Frédéric Mesnard, Étienne Payet, Wim Vanhoof

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

2015

Relational symbolic execution of SQL code for unit testing of database programs.

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Sci. Comput. Program., 2015

A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs.

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

CoRR, 2015

A Direct Symbolic Execution of SQL Code for Testing of Data-Oriented Applications.

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

CoRR, 2015

2014

Towards testing of full-scale SQL applications using relational symbolic execution.

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Proceedings of the 6th International Workshop on Constraints in Software Testing, 2014

2013

Static Application-Level Race Detection in STM Haskell using Contracts.

Romain Demeyer, Wim Vanhoof

Proceedings of the Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2013

A relational symbolic execution algorithm for constraint-based testing of database programs.

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

2012

Test input generation for database programs using relational constraints.

Michaël Marcozzi, Wim Vanhoof, Jean-Luc Hainaut

Proceedings of the Fifth International Workshop on Testing Database Systems, 2012

Semantic Code Clones in Logic Programs.

Celine Dandois, Wim Vanhoof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

2011

Clones in Logic Programs and How to Detect Them.

Celine Dandois, Wim Vanhoof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

A novel probabilistic encoding for EAs applied to biclustering of microarray data.

Michaël Marcozzi, Federico Divina, Jesús S. Aguilar-Ruiz, Wim Vanhoof

Proceedings of the 13th Annual Genetic and Evolutionary Computation Conference, 2011

2010

A Test Automation Framework for Mercury

Peter Biener, François Degrave, Wim Vanhoof

CoRR, 2010

Declarative workflows to efficiently manage flexible and advanced business processes.

Romain Demeyer, Maxime Van Assche, Ludovic Langevine, Wim Vanhoof

Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2010

A multi-objective Evolutionary Concept Learner.

Celine Dandois, Federico Divina, Wim Vanhoof

Proceedings of the IEEE Congress on Evolutionary Computation, 2010

2009

Towards a Framework for Constraint-Based Test Case Generation.

François Degrave, Tom Schrijvers, Wim Vanhoof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2009

2008

Automatic Generation of Test Inputs for Mercury.

François Degrave, Tom Schrijvers, Wim Vanhoof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

An Algorithm for Sophisticated Code Matching in Logic Programs.

Wim Vanhoof, François Degrave

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Termination analysis of logic programs through combination of type-based norms.

Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof

ACM Trans. Program. Lang. Syst., 2007

Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006)

Wim Vanhoof, Susana Muñoz-Hernández

CoRR, 2007

Fingerprinting Logic Programs

Alexander Serebrenik, Wim Vanhoof

CoRR, 2007

Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007)

Patricia M. Hill, Wim Vanhoof

CoRR, 2007

Towards a Normal Form for Mercury Programs.

François Degrave, Wim Vanhoof

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

2004

Offline specialisation in Prolog using a hand-written compiler generator.

Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe

Theory Pract. Log. Program., 2004

Binding-Time Analysis for Mercury.

Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Searching Semantically Equivalent Code Fragments in Logic Programs.

Wim Vanhoof

Proceedings of the Logic Based Program Synthesis and Transformation, 2004

Specialising Interpreters Using Offline Partial Deduction.

Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2002

Reuse of Results in Termination Analysis of Typed Logic Programs.

Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof

Proceedings of the Static Analysis, 9th International Symposium, 2002

A Fixed Point Semantics for Logic Programs Extended with Cuts.

Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

Collecting Potential Optimisations.

Nancy Mazur, Gerda Janssens, Wim Vanhoof

Proceedings of the Logic Based Program Synthesis and Tranformation, 2002

2001

Binding-Time Annotations Without Binding-Time Analysis.

Wim Vanhoof, Maurice Bruynooghe

Proceedings of the Logic for Programming, 2001

When Size Does Matter.

Wim Vanhoof, Maurice Bruynooghe

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

Pos(T): Analyzing Dependencies in Typed Logic Programs.

Maurice Bruynooghe, Wim Vanhoof, Michael Codish

Proceedings of the Perspectives of System Informatics, 2001

2000

Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury.

Wim Vanhoof

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Towards a modular binding-time analysis for higher-order Mercury.

Wim Vanhoof, Maurice Bruynooghe

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

1999

Towards Modular Binding-Time Analysis for First-order Mercury.

Wim Vanhoof, Maurice Bruynooghe

Proceedings of the Workshop on Optimization and Implementation of Declarative Programs, 1999

Bottom-up Partial Deduction of Logic Programs

Wim Vanhoof, Danny De Schreye, Bern Martens

J. Funct. Log. Program., 1999

Binding-time Analysis for Mercury.

Wim Vanhoof, Maurice Bruynooghe

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

A Framework for Bottom Up Specialisation of Logic Programs.

Wim Vanhoof, Danny De Schreye, Bern Martens

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Bottom-Up Specialisation of Logic Programs.

Wim Vanhoof, Danny De Schreye, Bern Martens

Proceedings of the Logic Programming Synthesis and Transformation, 1998

Specialising the Other Way Arond.

Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck

Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming, 1998

1997

To Parse or Not To Parse.

Wim Vanhoof, Bern Martens

Proceedings of the Logic Programming Synthesis and Transformation, 1997