Photo de Wim Vanhoof

Voir le profil Scopus

Wim Vanhoof

 https://orcid.org/0000-0003-3769-6294
Calculé d’après le nombre de publications stockées dans Pure et de citations dans Scopus
1997 …2024

Résultat de recherche par an

Résultats de recherche

  • 2008

    Towards a Normal Form for Mercury Programs

    Degrave, F. & Vanhoof, W., 2008, Proceedings of LOPSTR 2007. Vol 4915. p. 43-58 16 p. (Proceedings of LOPSTR 2007).

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

  • 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érence › Chapitre

  • Calculabilité et complexité

    Vanhoof, W., 2007

    Résultats de recherche: Autre contribution

  • Programmation

    Vanhoof, W., 2007

    Résultats de recherche: Forme non textuelle › Produits numériques ou (audio)visuels

  • Programmation Fonctionnelle et logique

    Vanhoof, W., 2007

    Résultats de recherche: Forme non textuelle › Produits numériques ou (audio)visuels

  • Termination analysis of logic programs through combination of type-based norms

    Bruynooghe, M., Codish, M., Gallagher, J. P., Genaim, S. & Vanhoof, W., 1 avr. 2007, Dans: ACM Transactions on Programming Languages and Systems. 29, 2

    Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

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

    Vanhoof, W. & Hill, P., 2007

    Résultats de recherche: Autre contribution

  • 2006

    18th Belgium-Netherlands Conference on Artificial Intelligence

    Schobbens, P.-Y., Vanhoof, W. & Schwanen, G., 2006

    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 travail

  • Fingerprinting Logic Programs

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

    Résultats de recherche: Papier de travail

  • Projet Individuel

    Vanhoof, W. & Bonfitto, S., 2006

    Résultats de recherche: Forme non textuelle › Produits numériques ou (audio)visuels

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

    Vanhoof, W. & Hernandez, S., 2006

    Résultats de recherche: Autre contribution

  • 2005

    Introduction à la programmation et à l'architecture des ordinateurs

    Vanhoof, W., 2005

    Résultats de recherche: Autre contribution

  • Searhing semantically equivalent code fragments in logic programs

    Vanhoof, W., 2005, Logic Based Program Synthesis and Transformation. Vol 3573. p. 1-18 18 p. (Logic Based Program Synthesis and Transformation ).

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

  • 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érence › Chapitre

  • Offline specialisation in Prolog using a hand-written compiler generator

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

    Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs

  • Specializing interpreters using offline partial deduction

    Leuschel, M., Craig, S., Bruynooghe, M. & Vanhoof, W., 2004, Program Development in Computational Logic. Lau, K. K. & Bruynooghe, M. (eds.). Springer Verlag, Vol 3049. p. 341-376 36 p.

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

  • 2003

    A fixed point semantics for logic programs extended with cuts

    Vanhoof, W., Tronçon, R. & Bruynooghe, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Leuschel, M. (Ed.). Springer Verlag, Vol 2664. p. 238-257 20 p. (Logic Based Program Synthesis and Transformation, LOPSTR 2002 ).

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

  • One Loop at a Time

    Codish, M., Genaim, S., Bruynooghe, M., Gallagher, J. & Vanhoof, W., 2003, 6th International Workshop on Termination: WST'03,.

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

  • 2002

    Bottom-up transformation for programs with procedural control

    Vanhoof, W. & Bruynooghe, M., 2002, Preproceedings of the International Workshop on Logic Based Program Development and Transformation. Leuschel, M. and Bueno, F., p. 234-250 17 p.

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

  • Collecting potential optimisations

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

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

  • Reuse of results in termination analysis of typed logic programs

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

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

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

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

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

  • 2001

    Binding-time annotations without binding-time analysis

    Vanhoof, W. & Bruynooghe, M., 2001, Logic for Programming, Artificial Intelligence, and Reasoning - 8th International Conference, LPAR 2001, Proceedings. Nieuwenhuis, R. & Voronkov, A. (eds.). Springer Verlag, Vol 2250. p. 707-722 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 2250).

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

  • Binding-time Annotations Without Binding-time Analysis

    Vanhoof, W. & Bruynooghe, M., 3 déc. 2001, Fifth international workshop on termination, WST'01. p. 707-722

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

  • Binding-time Annotations Without Binding-time Analysis

    Vanhoof, W. & Bruynooghe, M., 3 déc. 2001, Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings. Nieuwsenhuis, R. & Voronkov, A. (eds.). Springer, p. 707-722 (Lecture Notes in Artificial Intelligence; Numéro 2250).

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

  • Pos(T ): Analyzing dependencies in typed logic programs

    Bruynooghe, M., Vanhoof, W. & Codish, M., 2001, Perspectives of System Informatics - 4th International Andrei Ershov Memorial Conference, PSI 2001, Revised Papers. Bjørner, D., Broy, M. & Zamulin, Z. (eds.). Springer Verlag, Vol 2244. p. 406-420 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 2244 LNCS).

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

  • 2000

    Binding-Time analysis by constraint solving a modular and Higher-Order approach for mercury

    Vanhoof, W., 2000, Logic for Programming and Automated Reasoning - 7th International Conference, LPAR 2000, Proceedings. Voronkov, A. & Parigot, M. (eds.). Springer Verlag, Vol 1955. p. 399-416 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1955).

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

  • 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 revue › Article › Revue par des pairs

  • Towards a modular binding-time analysis for higher-order Mercury.

    Vanhoof, W. & Bruynooghe, M., 2000, Pre-Proceedings of Tenth International Workshop on Logic-based Program Synthesis and Transformation. Lau, K.-K., p. 55-63 9 p.

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

  • 1999

    Binding-time analysis for Mercury

    Vanhoof, W. & Bruynooghe, M., 1999, Proceedings of the 16th International Conference on Logic Programming . MIT, T. (Ed.). De Schreye, D., p. 500-514 15 p.

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

  • Towards modular binding-time analysis for first-order Mercury

    Vanhoof, W. & Bruynooghe, M., 1999, WOID'99, Workshop on Optimization and Implementation of Declarative Programs (in connection with ICLP'99, International Conference on Logic Programming). Leuschel, M. (Ed.). Elsevier, p. 189-198 9 p. (Electronic Notes in Theoretical Computer Science; Vol 30, Numéro 2).

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

    Accès ouvert
    File
    10 Téléchargements (Pure)
  • 1998

    A Framework for bottom up specialisation of logic programs

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

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

  • A framework for bottom-up specialisation of logic programs

    Vanhoof, W., De Schreye, D. & Martens, B., 1998, Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings. Palamidessi, C., Glaser, H. & Meinke, K. (eds.). Springer, p. 54-72 (Lecture Notes in Computer Science; Vol 1490).

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

  • Bottom up specialisation: towards general foundations

    Vanhoof, W., De Schreye, D. & Martens, B., 1998, Logic Program Synthesis and Transformation, Pre-proceedings of LOPSTR'98 . Flener, P., p. 114-121 8 p.

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

  • Specialising the other way around

    Vanhoof, W., Martens, B., De Schreye, D. & De Vlaminck, K., 1998, Logic Programming, Proceedings of 1998 Joint International Conference and Symposium on Logic Programming. MIT, T. (Ed.). Jaffar, J., p. 279-293 15 p.

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

  • 1997

    Bottom up information propagation for partial deduction

    Vanhoof, W., 1997, Proceedings of the International Workshop on Specialization of Declarative Programs and its Applications. Leuschel, M. (Ed.). p. 73-82 10 p.

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

  • To parse or not to parse

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

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

Votre message a bien été envoyé.
Votre message n’a pas été envoyé en raison d’une erreur.