Termination analysis of logic programs through combination of type-based norms M Bruynooghe, M Codish, JP Gallagher, S Genaim, W Vanhoof ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 10-es, 2007 | 78 | 2007 |
Termination analysis of logic programs through combination of type-based norms M Bruynooghe, M Codish, JP Gallagher, S Genaim, W Vanhoof ACM Transactions on Programming Languages and Systems (TOPLAS) 29 (2), 10-es, 2007 | 78 | 2007 |
Offline specialisation in Prolog using a hand-written compiler generator M Leuschel, J Jørgensen, W Vanhoof, M Bruynooghe Theory and Practice of Logic Programming 4 (1-2), 139-191, 2004 | 59 | 2004 |
Specialising interpreters using offline partial deduction M Leuschel, SJ Craig, M Bruynooghe, W Vanhoof Program Development in Computational Logic, 340-375, 2004 | 45 | 2004 |
Towards a framework for constraint-based test case generation F Degrave, T Schrijvers, W Vanhoof International Symposium on Logic-Based Program Synthesis and Transformation …, 2009 | 28 | 2009 |
To parse or not to parse W Vanhoof, B Martens International Workshop on Logic Programming Synthesis and Transformation …, 1997 | 27 | 1997 |
A relational symbolic execution algorithm for constraint-based testing of database programs M Marcozzi, W Vanhoof, JL Hainaut 2013 IEEE 13th International Working Conference on Source Code Analysis and …, 2013 | 21 | 2013 |
Test input generation for database programs using relational constraints M Marcozzi, W Vanhoof, JL Hainaut Proceedings of the Fifth International Workshop on Testing Database Systems, 6, 2012 | 21 | 2012 |
When size does matter W Vanhoof, M Bruynooghe International Workshop on Logic-Based Program Synthesis and Transformation …, 2001 | 21 | 2001 |
One loop at a time M Codish, S Genaim, M Bruynooghe, JP Gallagher, W Vanhoof 6th International Workshop on Termination, Date: 2003/06/13-2003/06/14 …, 2003 | 20 | 2003 |
Reuse of results in termination analysis of typed logic programs M Bruynooghe, M Codish, S Genaim, W Vanhoof International Static Analysis Symposium, 477-492, 2002 | 20 | 2002 |
Pos(T ): Analyzing Dependencies in Typed Logic Programs M Bruynooghe, W Vanhoof, M Codish International Andrei Ershov Memorial Conference on Perspectives of System …, 2001 | 18 | 2001 |
Pos (T): Analyzing dependencies in typed logic programs M Bruynooghe, W Vanhoof, M Codish International Andrei Ershov Memorial Conference on Perspectives of System …, 2001 | 18 | 2001 |
Binding-Time Analysis by Constraint Solving W Vanhoof International Conference on Logic for Programming Artificial Intelligence …, 2000 | 18 | 2000 |
Binding-time annotations without binding-time analysis W Vanhoof, M Bruynooghe International Conference on Logic for Programming Artificial Intelligence …, 2001 | 17 | 2001 |
Binding-time analysis for Mercury W Vanhoof, M Bruynooghe Proceedings of the 16th International Conference on Logic Programming, 500, 1999 | 17 | 1999 |
Declarative workflows to efficiently manage flexible and advanced business processes R Demeyer, M Van Assche, L Langevine, W Vanhoof Proceedings of the 12th international ACM SIGPLAN symposium on Principles …, 2010 | 15 | 2010 |
Anti-unification in constraint logic programming G Yernaux, W Vanhoof Theory and Practice of Logic Programming 19 (5-6), 773-789, 2019 | 14 | 2019 |
Automatic generation of test inputs for Mercury F Degrave, T Schrijvers, W Vanhoof International Symposium on Logic-Based Program Synthesis and Transformation …, 2008 | 13 | 2008 |
Relational symbolic execution of SQL code for unit testing of database programs M Marcozzi, W Vanhoof, JL Hainaut Science of Computer Programming 105, 44-72, 2015 | 11 | 2015 |