Membre du personnel
Wim VANHOOF
- présentation
- cours
- projets
- activités
- publications (45)
- jurys (5)
- mémoires et thèses supervisés (19)
- fiche complète
Publications (45)
Articles de périodique
2008
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
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
Maurice BRUYNOOGHE, Michael CODISH, John GALLAGHER, Samir GENAIM, 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
Michael LEUSCHEL, Jesper JORGENSEN, Maurice BRUYNOOGHE, Wim VANHOOF
2003
2002
2002
Collecting potential optimisations, in Logic Based Program Synthesis and Transformation, volume 2664, pp. 109-110
Nancy MAZUR, Wim VANHOOF, Gerda JANSSENS
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
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
Maurice BRUYNOOGHE, Wim VANHOOF, Mike CODISH
2001
2001
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
Wim VANHOOF, Danny DE SCHREYE, Bern MARTENS
1998
1997
Contributions à des ouvrages collectifs
2009
2007
A control flow graph for Mercury., in Proceedings of CICLOPS 2007
François DEGRAVE, Wim VANHOOF
François DEGRAVE, Wim VANHOOF
2007
WLPE'07 : Workshop on Logic-based Methods in Programming Environments
Wim VANHOOF, Patricia HILL
Wim VANHOOF, Patricia HILL
2007
Towards a normal form for Mercury programs, in Preproceedings of LOPSTR 2007
François DEGRAVE, Wim VANHOOF
François DEGRAVE, Wim VANHOOF
2006
Automatic Generation of Test Inputs for Mercury Programs
Wim VANHOOF, Nathalie MWEZE NABINTU FEZA
Wim VANHOOF, Nathalie MWEZE NABINTU FEZA
2006
WLPE'06 : Workshop on Logic-based Methods in Programming Environments
Wim VANHOOF, Susana HERNANDEZ
Wim VANHOOF, Susana HERNANDEZ
2006
Fingerprinting Logic Programs
Alexander SEREBRENIK, Wim VANHOOF
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
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
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
Mike CODISH, Samir GENAIM, Maurice BRUYNOOGHE, John GALLAGHER, Wim VANHOOF
2002
2001
Binding-time Annotations Without Binding-time Analysis, in Fifth international workshop on termination, WST'01
Wim VANHOOF, Maurice BRUYNOOGHE
Wim VANHOOF, Maurice BRUYNOOGHE
2000
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
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
Wim VANHOOF, Danny DE SCHREYE, Bern MARTENS
Actes de colloques
2006
18th Belgium-Netherlands Conference on Artificial Intelligence
Pierre-Yves SCHOBBENS, Wim VANHOOF, Gabriel SCHWANEN
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
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
Wim VANHOOF, Bern MARTENS, Danny DE SCHREYE, Karel DE VLAMINCK
Syllabus
2008
Méthodes de programmation
Wim VANHOOF
Wim VANHOOF
2007
Calculabilité et complexité
Wim VANHOOF
Wim VANHOOF
Supports Multimédias
2008
Calculabilité et complexité
Wim VANHOOF
Wim VANHOOF
2008
Introduction à l'algorithmique
Wim VANHOOF
Wim VANHOOF
2008
Méthodes de programmation
Wim VANHOOF
Wim VANHOOF
2007
Programmation Fonctionnelle et logique
Wim VANHOOF
Wim VANHOOF
2007
Programmation
Wim VANHOOF
Wim VANHOOF
2006
Projet Individuel
Wim VANHOOF, Stéphane BONFITTO
Wim VANHOOF, Stéphane BONFITTO
