François Degrave

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2008

4 Wim Vanhoof, François Degrave: An Algorithm for Sophisticated Code Matching in Logic Programs. ICLP 2008: 785-789

3 François Degrave: Development of an Automatic Testing Environment for Mercury. ICLP 2008: 805-806

2 François Degrave, Tom Schrijvers, Wim Vanhoof: Automatic Generation of Test Inputs for Mercury. LOPSTR 2008: 71-86

2007

1 François Degrave, Wim Vanhoof: Towards a Normal Form for Mercury Programs. LOPSTR 2007: 43-58

	2008
4		Wim Vanhoof, François Degrave: An Algorithm for Sophisticated Code Matching in Logic Programs. ICLP 2008: 785-789
3		François Degrave: Development of an Automatic Testing Environment for Mercury. ICLP 2008: 805-806
2		François Degrave, Tom Schrijvers, Wim Vanhoof: Automatic Generation of Test Inputs for Mercury. LOPSTR 2008: 71-86
	2007
1		François Degrave, Wim Vanhoof: Towards a Normal Form for Mercury Programs. LOPSTR 2007: 43-58

Coauthor Index

1 Tom Schrijvers [2]

2 Wim Vanhoof [1] [2] [4]