Suivre
Wim Vanhoof
Titre
Citée par
Citée par
Année
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
762007
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
762007
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
592004
Specialising interpreters using offline partial deduction
M Leuschel, SJ Craig, M Bruynooghe, W Vanhoof
Program Development in Computational Logic, 340-375, 2004
452004
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
282009
To parse or not to parse
W Vanhoof, B Martens
International Workshop on Logic Programming Synthesis and Transformation …, 1997
271997
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
212013
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
212012
When size does matter
W Vanhoof, M Bruynooghe
International Workshop on Logic-Based Program Synthesis and Transformation …, 2001
212001
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
202002
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
192003
Pos(T ): Analyzing Dependencies in Typed Logic Programs
M Bruynooghe, W Vanhoof, M Codish
International Andrei Ershov Memorial Conference on Perspectives of System …, 2001
182001
Pos (T): Analyzing dependencies in typed logic programs
M Bruynooghe, W Vanhoof, M Codish
International Andrei Ershov Memorial Conference on Perspectives of System …, 2001
182001
Binding-Time Analysis by Constraint Solving
W Vanhoof
International Conference on Logic for Programming Artificial Intelligence …, 2000
182000
Binding-time annotations without binding-time analysis
W Vanhoof, M Bruynooghe
International Conference on Logic for Programming Artificial Intelligence …, 2001
172001
Binding-time analysis for Mercury
W Vanhoof, M Bruynooghe
Proceedings of the 16th International Conference on Logic Programming, 500, 1999
171999
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
152010
Anti-unification in constraint logic programming
G Yernaux, W Vanhoof
Theory and Practice of Logic Programming 19 (5-6), 773-789, 2019
142019
Automatic generation of test inputs for Mercury
F Degrave, T Schrijvers, W Vanhoof
International Symposium on Logic-Based Program Synthesis and Transformation …, 2008
132008
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
112015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20