Wim Vanhoof

2008
27	EE	Wim Vanhoof, François Degrave: An Algorithm for Sophisticated Code Matching in Logic Programs. ICLP 2008: 785-789
26	EE	François Degrave, Tom Schrijvers, Wim Vanhoof: Automatic Generation of Test Inputs for Mercury. LOPSTR 2008: 71-86
2007
25	EE	François Degrave, Wim Vanhoof: Towards a Normal Form for Mercury Programs. LOPSTR 2007: 43-58
24	EE	Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof: Termination analysis of logic programs through combination of type-based norms. ACM Trans. Program. Lang. Syst. 29(2): (2007)
23	EE	Patricia M. Hill, Wim Vanhoof: Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007) CoRR abs/0712.3116: (2007)
22	EE	Alexander Serebrenik, Wim Vanhoof: Fingerprinting Logic Programs CoRR abs/cs/0701081: (2007)
21	EE	Wim Vanhoof, Susana Muñoz-Hernández: Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006) CoRR abs/cs/0701148: (2007)
2004
20	EE	Wim Vanhoof: Searching Semantically Equivalent Code Fragments in Logic Programs. LOPSTR 2004: 1-18
19	EE	Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel: Binding-Time Analysis for Mercury. Program Development in Computational Logic 2004: 189-232
18	EE	Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof: Specialising Interpreters Using Offline Partial Deduction. Program Development in Computational Logic 2004: 340-375
17		Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe: Offline specialisation in Prolog using a hand-written compiler generator. TPLP 4(1-2): 139-191 (2004)
2002
16	EE	Nancy Mazur, Gerda Janssens, Wim Vanhoof: Collecting Potential Optimisations. LOPSTR 2002: 109-110
15	EE	Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe: A Fixed Point Semantics for Logic Programs Extended with Cuts. LOPSTR 2002: 238-257
14	EE	Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof: Reuse of Results in Termination Analysis of Typed Logic Programs. SAS 2002: 477-492
13	EE	Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe: Offline Specialisation in Prolog Using a Hand-Written Compiler Generator CoRR cs.PL/0208009: (2002)
2001
12	EE	Maurice Bruynooghe, Wim Vanhoof, Michael Codish: Pos(T): Analyzing Dependencies in Typed Logic Programs. Ershov Memorial Conference 2001: 406-420
11	EE	Wim Vanhoof, Maurice Bruynooghe: When Size Does Matter. LOPSTR 2001: 129-147
10	EE	Wim Vanhoof, Maurice Bruynooghe: Binding-Time Annotations Without Binding-Time Analysis. LPAR 2001: 707-722
2000
9	EE	Wim Vanhoof, Maurice Bruynooghe: Towards a modular binding-time analysis for higher-order Mercury. LOPSTR 2000
8	EE	Wim Vanhoof: Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury. LPAR 2000: 399-416
1999
7		Wim Vanhoof, Maurice Bruynooghe: Binding-time Analysis for Mercury. ICLP 1999: 500-514
6	EE	Wim Vanhoof, Maurice Bruynooghe: Towards Modular Binding-Time Analysis for First-order Mercury. Electr. Notes Theor. Comput. Sci. 30(2): (1999)
5		Wim Vanhoof, Danny De Schreye, Bern Martens: Bottom-up Partial Deduction of Logic Programs Journal of Functional and Logic Programming 1999(Special Issue 2): (1999)
1998
4		Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck: Specialising the Other Way Arond. IJCSLP 1998: 279-293
3	EE	Wim Vanhoof, Danny De Schreye, Bern Martens: Bottom-Up Specialisation of Logic Programs. LOPSTR 1998: 325-327
2	EE	Wim Vanhoof, Danny De Schreye, Bern Martens: A Framework for Bottom Up Specialisation of Logic Programs. PLILP/ALP 1998: 54-72
1997
1	EE	Wim Vanhoof, Bern Martens: To Parse or Not To Parse. LOPSTR 1997: 322-342

Coauthor Index

1	Maurice Bruynooghe	[6] [7] [9] [10] [11] [12] [13] [14] [15] [17] [18] [19] [24]
2	Michael Codish	[12] [14] [24]
3	Stephen-John Craig	[18]
4	François Degrave	[25] [26] [27]
5	John P. Gallagher	[24]
6	Samir Genaim	[14] [24]
7	Patricia M. Hill	[23]
8	Gerda Janssens	[16]
9	Jesper Jørgensen	[13] [17]
10	Michael Leuschel	[13] [17] [18] [19]
11	Bern Martens	[1] [2] [3] [4] [5]
12	Nancy Mazur	[16]
13	Susana Muñoz-Hernández	[21]
14	Danny De Schreye	[2] [3] [4] [5]
15	Tom Schrijvers	[26]
16	Alexander Serebrenik	[22]
17	Remko Tronçon	[15]
18	Karel De Vlaminck	[4]

Colors in the list of coauthors