Outils personnels
FUNDP > Institution > Annuaire du personnel
 
Membre du personnel

Wim VANHOOF

Publications (45)

Articles de périodique

2008
Towards a Normal Form for Mercury Programs, in Proceedings of LOPSTR 2007, collection Lecture Notes in Computer Science, volume 4915, pp. 43-58
François DEGRAVE, Wim VANHOOF
2008
Automatic Test Input Generation for Mercury, in Proceedings of LOPSTR 2008, collection Lecture Notes in Computer Science, volume 5438, pp. 71-86
François DEGRAVE, Tom SCHRIJVERS, Wim VANHOOF
2006
Termination analysis through combination of type based norms, in ACM Transactions on Programming Languages and Systems (TOPLAS), volume 29, issue 2
Maurice BRUYNOOGHE, Michael CODISH, John GALLAGHER, Samir GENAIM, Wim VANHOOF
2005
Searhing semantically equivalent code fragments in logic programs, in Logic Based Program Synthesis and Transformation , collection Lectrure Notes in Computer Science, volume 3573, pp. 1-18
Wim VANHOOF
2004
Offline specialisation in Prolog using a hand-written compiler generator, in Theory and Practice of Logic Programming, volume 4, issue 1, pp. 139-191
Michael LEUSCHEL, Jesper JORGENSEN, Maurice BRUYNOOGHE, Wim VANHOOF
2003
A fixed point semantics for logic programs extended with cuts, in Logic Based Program Synthesis and Transformation, LOPSTR 2002 , collection Lecture Notes in Computer Science, volume 2664, pp. 238-257
Wim VANHOOF, Remko TRONÇON, Maurice BRUYNOOGHE
2002
When size does matter - Termination analysis for typed logic programs., in .Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, collection Lecture Notes in Computer Science, volume 2372, pp. 129-147
Wim VANHOOF, Maurice BRUYNOOGHE
2002
Collecting potential optimisations, in Logic Based Program Synthesis and Transformation, volume 2664, pp. 109-110
Nancy MAZUR, Wim VANHOOF, Gerda JANSSENS
2002
Reuse of results in termination analysis of typed logic programs, in Static Analysis, 9th International Symposium , collection Lecture Notes in Computer Science, volume 2477, pp. 477-492
Maurice BRUYNOOGHE, Mike CODISH, Samir GENAIM, Wim VANHOOF
2001
Pos(T) : Analyzing dependencies in typed logic programs, in Perspectives of System Informatics, collection Lecture Notes in Computer Science, volume 2244, pp. 406-420
Maurice BRUYNOOGHE, Wim VANHOOF, Mike CODISH
2001
Binding-time Annotations without Binding-time Analysis, in Logic for Programming, Artificial Intelligence, and Reasoning, collection Lecture Notes in Artificial Intelligence, volume 2250, pp. 707-722
Wim VANHOOF, Maurice BRUYNOOGHE
2001
Pos(T) : Analyzing dependencies in typed logic programs, in Perspectives of System Informatics, 4th International Andrei Ershov Memorial Conference, PSI 2001 , collection Lecture Notes in Computer Science, volume 2244, pp. 406-420
Maurice BRUYNOOGHE, Wim VANHOOF, Michael CODISH
2000
Binding-time analysis by constraint solving: a modular and higher-order approach for Mercury, in Logic for Programming and Automated Reasoning, collection Lecture Notes in Artificial Intelligence, volume 1955, pp. 399-416
Wim VANHOOF
2000
Bottom-up specialisation of logic programs, in Journal of Functional and Logic Programming, volume 1999, issue 2, pp. 1-33
Wim VANHOOF, Danny DE SCHREYE, Bern MARTENS
1998
A Framework for bottom up specialisation of logic programs, in Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98, collection Lecture Notes in Computer Science, volume 1490, pp. 54-72
Wim VANHOOF, Danny DE SCHREYE, Bern MARTENS
1997
To parse or not to parse, in Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97 , collection Lecture Notes in Computer Science, volume 1463, pp. 314-333
Wim VANHOOF, Bern MARTENS

Contributions à des ouvrages collectifs

2009
An Algorithm for Sophisticated Code Matching in Logic Programs, in Proceedings of ICLP 2008, collection Lecture Notes in Computer Science, volume 5366
Wim VANHOOF, François DEGRAVE
2007
A control flow graph for Mercury., in Proceedings of CICLOPS 2007
François DEGRAVE, Wim VANHOOF
2007
WLPE'07 : Workshop on Logic-based Methods in Programming Environments
Wim VANHOOF, Patricia HILL
2007
Towards a normal form for Mercury programs, in Preproceedings of LOPSTR 2007
François DEGRAVE, Wim VANHOOF
2006
Automatic Generation of Test Inputs for Mercury Programs
Wim VANHOOF, Nathalie MWEZE NABINTU FEZA
2006
WLPE'06 : Workshop on Logic-based Methods in Programming Environments
Wim VANHOOF, Susana HERNANDEZ
2006
Fingerprinting Logic Programs
Alexander SEREBRENIK, Wim VANHOOF
2004
Specializing interpreters using offline partial deduction, in Program Development in Computational Logic, collection Lecture Notes in Computer Science, volume 3049, pp. 341-376
Michael LEUSCHEL, Stephen CRAIG, Maurice BRUYNOOGHE, Wim VANHOOF
2004
Binding-time Analysis for Mercury, in Program Development in Computational Logic., collection Lecture Notes in Computer Science, volume 3049, pp. 190-223
Wim VANHOOF, Maurice BRUYNOOGHE, Michael LEUSCHEL
2003
One Loop at a Time, in 6th International Workshop on Termination
Mike CODISH, Samir GENAIM, Maurice BRUYNOOGHE, John GALLAGHER, Wim VANHOOF
2002
Bottom-up transformation for programs with procedural control, in Preproceedings of the International Workshop on Logic Based Program Development and Transformation, pp. 234-250
Wim VANHOOF, Maurice BRUYNOOGHE
2001
Binding-time Annotations Without Binding-time Analysis, in Fifth international workshop on termination, WST'01
Wim VANHOOF, Maurice BRUYNOOGHE
2000
Towards a modular binding-time analysis for higher-order Mercury., in Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation, pp. 55-63
Wim VANHOOF, Maurice BRUYNOOGHE
1999
Towards modular binding-time analysis for first-order Mercury, in Proceedings of the Workshop on Optimization and Implementation of Declarative Languages , pp. 1-9
Wim VANHOOF
1998
A framework for bottom-up specialisation of logic programs., in Netherlands/Belgium Conference on Artificial Intelligence, NAIC'98
Wim VANHOOF, Danny DE SCHREYE, Bern MARTENS
1998
Bottom up specialisation: towards general foundations, in Logic Program Synthesis and Transformation, Pre-proceedings of LOPSTR'98 , pp. 114-121
Wim VANHOOF, Danny DE SCHREYE, Bern MARTENS
1997
Bottom up information propagation for partial deduction, in Proceedings of the International Workshop on Specialization of Declarative Programs and its Applications, pp. 73-82
Wim VANHOOF

Actes de colloques

2006
18th Belgium-Netherlands Conference on Artificial Intelligence
Pierre-Yves SCHOBBENS, Wim VANHOOF, Gabriel SCHWANEN
1999
Binding-time analysis for Mercury, in Proceedings of the 16th International Conference on Logic Programming , pp. 500-514
Wim VANHOOF, Maurice BRUYNOOGHE
1998
Specialising the other way around, in Logic Programming, Proceedings of 1998 Joint International Conference and Symposium on Logic Programming, pp. 279-293
Wim VANHOOF, Bern MARTENS, Danny DE SCHREYE, Karel DE VLAMINCK

Syllabus

2008
Méthodes de programmation
Wim VANHOOF
2007
Calculabilité et complexité
Wim VANHOOF
2005
Introduction à la programmation et à l'architecture des ordinateurs [Video]
Wim VANHOOF

Supports Multimédias

2008
Calculabilité et complexité
Wim VANHOOF
2008
Introduction à l'algorithmique
Wim VANHOOF
2008
Méthodes de programmation
Wim VANHOOF
2007
Programmation Fonctionnelle et logique
Wim VANHOOF
2007
Programmation
Wim VANHOOF
2006
Projet Individuel
Wim VANHOOF, Stéphane BONFITTO