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

Résultat de recherche 1997 2019

Filtre
Chapitre
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

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

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

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érenceChapitre

2003

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érenceChapitre

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érenceChapitre

2001

Binding-time Annotations Without Binding-time Analysis

Vanhoof, W. & Bruynooghe, M., 2001, Fifth international workshop on termination, WST'01.

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

2000

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érenceChapitre

1999

Towards modular binding-time analysis for first-order Mercury

Vanhoof, W., 1999, Proceedings of the Workshop on Optimization and Implementation of Declarative Languages . Leuschel, M., p. 1-9 9 p.

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

1998

A framework for bottom-up specialisation of logic programs.

Vanhoof, W., De Schreye, D. & Martens, B., 1998, Netherlands/Belgium Conference on Artificial Intelligence, NAIC'98.

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

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érenceChapitre

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., p. 73-82 10 p.

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