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

Résultat de recherche 1997 2019

2019

Analysis of Students' Preconceptions of Concurrency

Titre traduit de la contribution: Analyse des préconceptions d'étudiants sur la concurrenceLibert, C. & Vanhoof, W., 2019, Proceedings of the 1st ACM SIGSOFT International Workshop on Education Through Advanced Software Engineering and Artificial Intelligence. New York, NY, USA: ACM Press, p. 9-12 4 p. (EASEAI 2019).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Teaching
Students
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
2017

La programmation par passage de messages pour aider à développer la pensée informatique

Libert, C. & Vanhoof, W., 2017, L'informatique et le numérique dans la classe: Qui, quoi, comment?. Namur, Belgique: Presses universitaires de Namur, p. 123 12 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre (revu par des pairs)

19 Downloads (Pure)

Survey of software visualization systems to teach message-passing concurrency in secondary school

Titre traduit de la contribution: Comparaison de systèmes de visualisation de programmes pour l'enseignement de la programmation concurrente par passage de messages à l'école secondaire.Libert, C. & Vanhoof, W., juin 2017, Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Proceedings. Lopes, F., Bajo, J., Novais, P., Hallenborg, K., Del Val, E., Julian, V., Vale, Z., Pawlewski, P., Duque Mendez, N. D., Holmgren, J., Rocha, A. P. & Mathieu, P. (eds.). Springer, p. 386 - 397 12 p. (Communications in Computer and Information Science; Vol 722).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Software Visualization
Message passing
Message Passing
Concurrency
Visualization
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

Un outil d'aide à la conception des formes normales en logique propositionnelle

Désiron, K., Remiche, M-A. & Vanhoof, W., 2016, Actes de la conférence Didapro 6 - DidaSTIC Didactique de l'informatique et des STIC: Quelles éducations au numérique, en classe et pour la vie ? . 2 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

2015
117 Downloads (Pure)
File
Testing
Surface mount technology
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
2014
307 Downloads (Pure)

Testing Database Programs using Relational Symbolic Execution

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2014.

Résultats de recherche: Papier de travailArticle de travail

File
218 Downloads (Pure)

Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 31 mai 2014, Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

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

A relational symbolic execution algorithm for constraint-based testing of database programs

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 22 sept. 2013, IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013. IEEE Computer society, p. 179-188 10 p. 6648200

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Testing
Flow graphs

Semantic code clones in logic programs

Dandois, C. & Vanhoof, W., 14 nov. 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 7844 LNCS. p. 35-50 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 7844 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Logic Programs
Clone
Semantics
Syntactics
Refactoring
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

Verification of Transactions in STM Haskell using Contracts and Program Transformation

Demeyer, R. & Vanhoof, W., 2013, p. 47-51.

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

2012

A Framework for Verifying the Application-Level Race-Freeness of Concurrent Programs

Demeyer, R. & Vanhoof, W., 2012, Proceedings of the 22nd Workshop on Logic-based Programming Environments (WLPE 2012). p. 10-24

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

77 Downloads (Pure)

A Symbolic Execution Algorithm for Constraint-Based Testing of Database Programs

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 6 déc. 2012.

Résultats de recherche: Papier de travailArticle de travail

Accès ouvert
File
Testing
Formal languages
Semantics

Clones in Logic Programs and How to Detect Them

Dandois, C. & Vanhoof, W., 2012, Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Logic programming
Computer programming languages
Redundancy
Software engineering
348 Downloads (Pure)

Test input generation for database programs using relational constraints

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 2012, Proceedings of the Fifth International Workshop on Testing Database Systems. New York, NY, USA: ACM Press, p. 6:1-6:6 6 p. (DBTest '12).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Formal languages
Static analysis
Data structures
Testing

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
41 Downloads (Pure)

A Novel Probabilistic Encoding for EAs Applied to Biclustering of Microarray Data

Marcozzi, M., DIVINA, F., AGUILAR-RUIZ, J. S. & Vanhoof, W., 2011, GECCO '11: Proceedings of the Genetic and Evolutionary Computation Conference. Krasnogor, N. (Ed.). New York: ACM Press, p. 339-346 8 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Accès ouvert
File
Microarrays
Evolutionary algorithms
Simulated annealing
Genes
Uncertainty

Application Mémoires

Vanhoof, W., 2011

Résultats de recherche: Forme non textuelleLogiciel

On the partial deduction of non-ground meta-interpreters

Vanhoof, W., 2011.

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

Proper Granularity for Atomic Sections in Concurrent Programs

Demeyer, R. & Vanhoof, W., 2011, Pre-­Proceedings of the 21st International Symposium on Logic-­Based Program Synthesis and Transformation (LOPSTR 2011).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

2010

A Multi-Objective Evolutionary Concept Learner

Dandois, C., Divina, F. & Vanhoof, W., 2010, IEEE Congress on Evolutionary Computation (CEC 2010).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Emitter coupled logic circuits
Multiobjective optimization
Evolutionary algorithms
Experiments

Declarative Workflows to Efficiently Manage Flexible and Advanced Business Processes

Demeyer, R., Van Assche, M., Langevine, L. & Vanhoof, W., 2010, Proceedings of the 12th international ACM SIGPLAN symposium on Principles and Practice of Declarative Programming (PPDP 10). New York, NY, USA: ACM Press, p. 209-218 (PPDP '10).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Industry
Temporal logic
Innovation
Semantics

Program analysis for code duplication in logic programs

Dandois, C. & Vanhoof, W., 2010, Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

2009

An Algorithm for Sophisticated Code Matching in Logic Programs

Vanhoof, W. & Degrave, F., 2009, Proceedings of ICLP 2008. M. Garcia de la Banda and E. Pontelli, Vol 5366.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

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

Calculabilité et complexité

Vanhoof, W., 2008

Résultats de recherche: Forme non textuelleProduits numériques ou (audio)visuels

Introduction à l'algorithmique

Vanhoof, W., 2008

Résultats de recherche: Forme non textuelleProduits numériques ou (audio)visuels

Méthodes de programmation

Vanhoof, W., 2008

Résultats de recherche: Autre contribution

Méthodes de programmation

Vanhoof, W., 2008

Résultats de recherche: Forme non textuelleProduits numériques ou (audio)visuels

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

2007

A control flow graph for Mercury.

Degrave, F. & Vanhoof, W., 2007, Proceedings of CICLOPS 2007: Porto, Portugal. Abreu, S. & Santos, V. (eds.).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Calculabilité et complexité

Vanhoof, W., 2007

Résultats de recherche: Autre contribution

Programmation

Vanhoof, W., 2007

Résultats de recherche: Forme non textuelleProduits numériques ou (audio)visuels

Programmation Fonctionnelle et logique

Vanhoof, W., 2007

Résultats de recherche: Forme non textuelleProduits numériques ou (audio)visuels

WLPE'07 : Workshop on Logic-based Methods in Programming Environments

Vanhoof, W. & Hill, P., 2007

Résultats de recherche: Autre contribution

Automatic Generation of Test Inputs for Mercury Programs

Vanhoof, W. & Mweze Nabintu Feza, N., 2006, Venice Italy: G. Puebla.

Résultats de recherche: Papier de travailArticle de travail

Fingerprinting Logic Programs

Serebrenik, A. & Vanhoof, W., 2006, Seatlle, Washington, USA: W. Vanhoof and S. Hernandez.

Résultats de recherche: Papier de travailArticle de travail

Projet Individuel

Vanhoof, W. & Bonfitto, S., 2006

Résultats de recherche: Forme non textuelleProduits numériques ou (audio)visuels

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

WLPE'06 : Workshop on Logic-based Methods in Programming Environments

Vanhoof, W. & Hernandez, S., 2006

Résultats de recherche: Autre contribution

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

Binding-time Analysis for Mercury

Vanhoof, W., Bruynooghe, M. & Leuschel, M., 2004, Program Development in Computational Logic.. K.K & Lau, M. (eds.). Springer Verlag, Vol 3049. p. 190-223 34 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

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