1998

  • Maurice Bruynooghe, Michael Leuschel, Konstantinos Sagonas
    A Polyvariant Binding-Time Analysis for Off-line Partial Deduction.
    In ESOP, C. Hankin, Lecture Notes in Computer Science, 1381, Springer-Verlag, 27--41, 1998.
  • Stefaan Decorte, Danny De Schreye, Michael Leuschel, Bern Martens, Konstantinos Sagonas
    Termination Analysis for Tabled Logic Programming.
    In LOPSTR '97, N. Fuchs, Lecture Notes in Computer Science, 1463, Springer-Verlag, 111--127, 1998.
  • Michael Leuschel
    Improving Homeomorphic Embedding for Online Termination.
    In LOPSTR '98, P. Flener, Lecture Notes in Computer Science, 1559, Springer-Verlag, 199--218, 1998.
  • Michael Leuschel
    On the Power of Homeomorphic Embedding for Online Termination.
    In Proceedings SAS, Giorgio Levi, Lecture Notes in Computer Science, 1503, Springer-Verlag, 230--245, 1998.
  • Michael Leuschel
    Program Specialisation and Abstract Interpretation Reconciled.
    In IJCSLP, J. Jaffar, MIT Press, 220--234, 1998.
  • Michael Leuschel, Danny De Schreye
    Constrained Partial Deduction and the Preservation of Characteristic Trees.
    In New Generation Computing, 16, 3, 283--342, 1998.
    • Michael Leuschel, Danny De Schreye
      Creating Specialised Integrity Checks Through Partial Evaluation of Meta-interpreters.
      In Journal of Logic Programming, 36, 2, 149--193, 1998.
    • Michael Leuschel, Bern Martens, Danny De Schreye
      Controlling Generalisation and Polyvariance in Partial Deduction of Normal Logic Programs.
      In ACM Transactions on Programming Languages and Systems, 20, 1, 208--258, 1998.
      • Michael Leuschel, Bern Martens, Danny De Schreye
        Some Achievements and Prospects in Partial Deduction.
        In ACM Computing Surveys, 30, 3es, 1998.
        • Michael Leuschel, Bern Martens, Konstantinos Sagonas
          Preserving Termination of Tabled Logic Programs While Unfolding.
          In LOPSTR '97, N. Fuchs, Lecture Notes in Computer Science, 1463, Springer-Verlag, 189--205, 1998.
        • Konstantinos Sagonas, Michael Leuschel
          Extending Partial Deduction to Tabled Execution: Some Results and Open Issues.
          In ACM Computing Surveys, 30, 3es, 1998.