1999

  • Danny De Schreye, Robert Glueck, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten H. Sørensen
    Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments.
    In Journal of Logic Programming, 41, 2--3, 231--277, 1999.
  • Robert Glueck, Michael Leuschel
    Abstraction-Based Partial Deduction for Solving Inverse Problems -- A Transformational Approach to Software Verification.
    In Ershov Memorial Conference, Lecture Notes in Computer Science, 1755, Springer-Verlag, 93--100, 1999.
    • P. Hartel, Michael Butler, Andrew Currie, P. Henderson, Michael Leuschel, A. Martin, A. Smith, Ulrich Ultes-Nitsche, R.J. Walters
      Questions and Answers About Ten Formal Methods.
      In Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems, S. Gnesi and D. Latella, STAR/CNR, Pisa, Italy, 179--203, 1999.
      • Michael Leuschel
        Advanced Logic Program Specialisation.
        In Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, Springer-Verlag, 271--292, 1999.
      • Int. Workshop on Optimization and Implementation of Declarative Programs.
        In Michael Leuschel, 30, 2, 1999.
        • Michael Leuschel
          Logic Program Specialisation.
          In Partial Evaluation: Practice and Theory, John Hatcliff and Torben AE Mogensen and Peter Thiemann, Lecture Notes in Computer Science, 1706, Springer-Verlag, 155--188, 1999.
        • Michael Leuschel, Jesper Jørgensen
          Efficient Specialisation in Prolog Using the Hand-Written Compiler Generator LOGEN.
          In Electronic Notes in Theoretical Computer Science, 30, 2, 157-162, 1999.
          • Michael Leuschel, Jesper Jørgensen
            Efficient Specialisation in Prolog Using a Hand-Written Compiler Generator.
            Technical Report, University of Southampton, DSSE-TR-99-6, 1999.
            • Michael Leuschel, Nick Linnenbruegger, Jerome Thoma
              Analyzing Context-Free and Context-Sensitive Grammars by Abstract Interpretation.
              In Proceedings of the Formal Grammar Conference FG'99, G-J. M. Kruijff and R. T. Oerle, University of Utrecht, 93--101, 1999.
              • Michael Leuschel, Thierry Massart
                Infinite State Model Checking by Abstract Interpretation and Program Specialisation.
                In LOPSTR '99, A. Bossi, Lecture Notes in Computer Science, 1817, Springer-Verlag, 63--82, 1999.
              • Jonathan C. Martin, Michael Leuschel
                Sonic Partial Deduction.
                In Ershov Memorial Conference, Lecture Notes in Computer Science, 1755, Springer-Verlag, 101--112, 1999.
                • Stefan Hallerstede, Michael Butler
                  Refinement of Dynamic Systems.
                  Technical Report, Electronics and Computer Science, University of Southampton, 1999.