1995

  • Michael Leuschel, Danny De Schreye
    Towards Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters.
    In PEPM, ACM Press, 253--263, 1995.
  • Michael Leuschel, Danny De Schreye, Bern Martens
    Tutorial on Program Specialisation (abstract).
    In ILPS, MIT Press, 615--616, 1995.
    • Michael Leuschel, Bern Martens
      Obtaining Specialised Update Procedures through Partial Deduction of the Ground Representation.
      In Proc. Joint Workshop on Deductive Databases and Logic Programming and Abduction in Deductive Databases and Knowledge Based Systems, GMD-Studien Nr. 266, 81--95, 1995.
      • Michael Leuschel, Bern Martens
        Partial Deduction of the Ground Representation and its Application to Integrity Checking.
        In ILPS, MIT Press, 495--509, 1995.