The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Wim Vanhoof: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Maurice Bruynooghe, Wim Vanhoof, Michael Codish
    Pos(T): Analyzing Dependencies in Typed Logic Programs. [Citation Graph (0, 0)][DBLP]
    Ershov Memorial Conference, 2001, pp:406-420 [Conf]
  2. Wim Vanhoof, Maurice Bruynooghe
    Binding-time Analysis for Mercury. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:500-514 [Conf]
  3. Wim Vanhoof, Bern Martens, Danny De Schreye, Karel De Vlaminck
    Specialising the Other Way Arond. [Citation Graph (0, 0)][DBLP]
    IJCSLP, 1998, pp:279-293 [Conf]
  4. Michael Leuschel, Stephen-John Craig, Maurice Bruynooghe, Wim Vanhoof
    Specialising Interpreters Using Offline Partial Deduction. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:340-375 [Conf]
  5. Nancy Mazur, Gerda Janssens, Wim Vanhoof
    Collecting Potential Optimisations. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:109-110 [Conf]
  6. Wim Vanhoof
    Searching Semantically Equivalent Code Fragments in Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:1-18 [Conf]
  7. Wim Vanhoof, Maurice Bruynooghe
    Towards a modular binding-time analysis for higher-order Mercury. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  8. Wim Vanhoof, Maurice Bruynooghe
    When Size Does Matter. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2001, pp:129-147 [Conf]
  9. Wim Vanhoof, Maurice Bruynooghe, Michael Leuschel
    Binding-Time Analysis for Mercury. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:189-232 [Conf]
  10. Wim Vanhoof, Bern Martens
    To Parse or Not To Parse. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:322-342 [Conf]
  11. Wim Vanhoof, Danny De Schreye, Bern Martens
    Bottom-Up Specialisation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:325-327 [Conf]
  12. Wim Vanhoof, Remko Tronçon, Maurice Bruynooghe
    A Fixed Point Semantics for Logic Programs Extended with Cuts. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2002, pp:238-257 [Conf]
  13. Wim Vanhoof
    Binding-Time Analysis by Constraint Solving. A Modular and Higher-Order Approach for Mercury. [Citation Graph (0, 0)][DBLP]
    LPAR, 2000, pp:399-416 [Conf]
  14. Wim Vanhoof, Maurice Bruynooghe
    Binding-Time Annotations Without Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:707-722 [Conf]
  15. Wim Vanhoof, Danny De Schreye, Bern Martens
    A Framework for Bottom Up Specialisation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP/ALP, 1998, pp:54-72 [Conf]
  16. Maurice Bruynooghe, Michael Codish, Samir Genaim, Wim Vanhoof
    Reuse of Results in Termination Analysis of Typed Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 2002, pp:477-492 [Conf]
  17. Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe
    Offline Specialisation in Prolog Using a Hand-Written Compiler Generator [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  18. Wim Vanhoof, Danny De Schreye, Bern Martens
    Bottom-up Partial Deduction of Logic Programs [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1999, v:1999, n:Special Issue 2, pp:- [Journal]
  19. Wim Vanhoof, Maurice Bruynooghe
    Towards Modular Binding-Time Analysis for First-order Mercury. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  20. Michael Leuschel, Jesper Jørgensen, Wim Vanhoof, Maurice Bruynooghe
    Offline specialisation in Prolog using a hand-written compiler generator. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:1-2, pp:139-191 [Journal]
  21. Alexander Serebrenik, Wim Vanhoof
    Fingerprinting Logic Programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  22. Wim Vanhoof, Susana Muñoz-Hernández
    Proceedings of the 16th Workshop in Logic-based Methods in Programming Environments (WLPE2006) [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  23. Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof
    Termination analysis of logic programs through combination of type-based norms. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2007, v:29, n:2, pp:- [Journal]

  24. An Algorithm for Sophisticated Code Matching in Logic Programs. [Citation Graph (, )][DBLP]


  25. Towards a Normal Form for Mercury Programs. [Citation Graph (, )][DBLP]


  26. Automatic Generation of Test Inputs for Mercury. [Citation Graph (, )][DBLP]


  27. Towards a Framework for Constraint-Based Test Case Generation. [Citation Graph (, )][DBLP]


  28. Declarative workflows to efficiently manage flexible and advanced business processes. [Citation Graph (, )][DBLP]


  29. Proceedings of the 17th Workshop on Logic-based methods in Programming Environments (WLPE 2007) [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002