1996

  • Jesper Jørgensen, Michael Leuschel
    Efficiently Generating Efficient Generating Extensions in Prolog.
    In Dagstuhl Seminar on Partial Evaluation, O. Danvy and R. Glueck and P. Thiemann, Lecture Notes in Computer Science, 1110, Springer-Verlag, 238--262, 1996.
  • Jesper Jørgensen, Michael Leuschel, Bern Martens
    Conjunctive Partial Deduction in Practice.
    In LOPSTR, J. Gallagher, Lecture Notes in Computer Science, 1207, Springer-Verlag, 59--82, 1996.
  • Michael Leuschel
    Specialised Integrity Checking by Combining Conjunctive Partial Deduction and Abstract Interpretation.
    In Proc. Logic Databases and the Meaning of Change: Dagstuhl-Seminar-Report 157, J. Bocca and H. Decker and A. Voronkov, IBFI GmbH, Schloss Dagstuhl, 18--19, 1996.
    • Michael Leuschel, Danny De Schreye
      Logic Program Specialisation: How To Be More Specific.
      In Proceedings PLILP'96, H. Kuchen and S. D. Swierstra, Lecture Notes in Computer Science, 1140, Springer-Verlag, 137--151, 1996.
    • Michael Leuschel, Danny De Schreye
      Logic Program Specialisation: How To Be More Specific (abstract).
      In LOPSTR, J. Gallagher, Lecture Notes in Computer Science, 1207, Springer-Verlag, 58, 1996.
      • Michael Leuschel, Danny De Schreye, D. Andre de Waal
        A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration.
        In JICSLP, M. Maher, MIT Press, 319--332, 1996.
      • Michael Leuschel, Bern Martens
        Global Control for Partial Deduction through Characteristic Atoms and Global Trees.
        In Dagstuhl Seminar on Partial Evaluation, O. Danvy and R. Glueck and P. Thiemann, Lecture Notes in Computer Science, 1110, Springer-Verlag, 263--283, 1996.
      • Michael Leuschel, Morten Heine Sørensen
        Redundant Argument Filtering of Logic Programs.
        In LOPSTR, J. Gallagher, Lecture Notes in Computer Science, 1207, Springer-Verlag, 83--103, 1996.
        • Michael Jastram
          Inspection and Feature Extraction of Marine Propellers.
          Master Thesis, Massachusetts Institute of Technology, 1996.