Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Résultat de recherche 1997 2019

Filtre
Article
2019
3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials
1 Downloads (Pure)

Un dispositif d'évaluation continue en introduction à la programmation

Libert, C. & Vanhoof, W., 2019, (Non publié).

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

File
2016

Towards a framework for algorithm recognition in binary code

Mesnard, F., Payet, E. & Vanhoof, W., 2016, p. 202. 2013 p.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

2015
86 Downloads (Pure)

Relational symbolic execution of SQL code for unit testing of database programs

Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 juil. 2015, Dans : Science of Computer Programming. 105, p. 44-72 29 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
Testing
Surface mount technology
2013
11 Downloads (Pure)

Static Application-Level Race Detection in STM Haskell using Contracts

Demeyer, R. & Vanhoof, W., 10 déc. 2013, Dans : EPTCS.

Résultats de recherche: Contribution à un journal/une revueArticle

File
Boolean functions
Synchronization
Data storage equipment
2012

Verifying the Consistency of Transactional Variables in STM Haskell

Demeyer, R. & Vanhoof, W., 2012.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

2011

On the partial deduction of non-ground meta-interpreters

Vanhoof, W., 2011.

Résultats de recherche: Contribution à un événement scientifique (non publié)Article

2009

Towards a Framework for Constraint-Based Test Case Generation

Degrave, F., Schrijvers, T. & Vanhoof, W., 2009, Dans : Proceedings of LOPSTR 2009. 6037, p. 128-142 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

2008

Automatic Test Input Generation for Mercury

Degrave, F., Schrijvers, T. & Vanhoof, W., 2008, Dans : Proceedings of LOPSTR 2008. 5438, p. 71-86 16 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Towards a Normal Form for Mercury Programs

Degrave, F. & Vanhoof, W., 2008, Dans : Proceedings of LOPSTR 2007. 4915, p. 43-58 16 p.

Résultats de recherche: Contribution à un journal/une revueArticle

2006

Termination analysis through combination of type based norms

Bruynooghe, M., Codish, M., Gallagher, J., Genaim, S. & Vanhoof, W., 2006, Dans : ACM Transactions on Programming Languages and Systems (TOPLAS). 29, 2

Résultats de recherche: Contribution à un journal/une revueArticle

2005

Searhing semantically equivalent code fragments in logic programs

Vanhoof, W., 2005, Dans : Logic Based Program Synthesis and Transformation . 3573, p. 1-18 18 p.

Résultats de recherche: Contribution à un journal/une revueArticle

2004

Offline specialisation in Prolog using a hand-written compiler generator

Leuschel, M., Jorgensen, J., Bruynooghe, M. & Vanhoof, W., 2004, Dans : Theory and Practice of Logic Programming. 4, 1, p. 139-191 53 p.

Résultats de recherche: Contribution à un journal/une revueArticle

2003

A fixed point semantics for logic programs extended with cuts

Vanhoof, W., Tronçon, R. & Bruynooghe, M., 2003, Dans : Logic Based Program Synthesis and Transformation, LOPSTR 2002 . 2664, p. 238-257 20 p.

Résultats de recherche: Contribution à un journal/une revueArticle

2002

Collecting potential optimisations

Mazur, N., Janssens, G. & Vanhoof, W., 2002, Dans : Logic Based Program Synthesis and Transformation . 2664, p. 109-110 2 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Reuse of results in termination analysis of typed logic programs

Bruynooghe, M., Codish, M., Genaim, S. & Vanhoof, W., 2002, Dans : Static Analysis, 9th International Symposium . 2477, p. 477-492 16 p.

Résultats de recherche: Contribution à un journal/une revueArticle

When size does matter - Termination analysis for typed logic programs.

Vanhoof, W. & Bruynooghe, M., 2002, Dans : .Logic-based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001. 2372, p. 129-147 19 p.

Résultats de recherche: Contribution à un journal/une revueArticle

2001

Binding-time Annotations without Binding-time Analysis

Vanhoof, W. & Bruynooghe, M., 2001, Dans : Logic for Programming, Artificial Intelligence, and Reasoning. 2250, p. 707-722 16 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Pos(T) : Analyzing dependencies in typed logic programs

Bruynooghe, M., Vanhoof, W. & Codish, M., 2001, Dans : Perspectives of System Informatics. 2244, p. 406-420 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

2000

Binding-time analysis by constraint solving: a modular and higher-order approach for Mercury

Vanhoof, W., 2000, Dans : Logic for Programming and Automated Reasoning. 1955, p. 399-416 18 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Bottom-up specialisation of logic programs

Vanhoof, W., De Schreye, D. & Martens, B., 2000, Dans : Journal of Functional and Logic Programming. 1999, 2, p. 1-33 33 p.

Résultats de recherche: Contribution à un journal/une revueArticle

1998

A Framework for bottom up specialisation of logic programs

Vanhoof, W., De Schreye, D. & Martens, B., 1998, Dans : Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98. 1490, p. 54-72 19 p.

Résultats de recherche: Contribution à un journal/une revueArticle

1997

To parse or not to parse

Vanhoof, W. & Martens, B., 1997, Dans : Logic Program Synthesis and Transformation, Proceedings of the 7th International Workshop LOPSTR'97 . 1463, p. 314-333 20 p.

Résultats de recherche: Contribution à un journal/une revueArticle