Technical reports

  • Efficient analyses for realistic off-line partial evaluation: Extended version (D-164). Abstract. Technical report. Written together with Anders Bondorf. Is for unexplainable reasons split up into two parts (sorry):
  • DVI-part. The whole of the ducument except page 9.
  • PS-part. Page 9 of document.
  • Efficiently Generating Efficient Generating Extensions in Prolog. Abstract. Report CW 221, K.U.Leuven, February 1996.. Written together with Michael Leuschel.

  • Controlling Conjunctive Partial Deduction of Definite Logic Programs. Abstract. Report CW 226, K.U.Leuven, February 1996. Written together with Robert Glück, Bern Martens and Morten H. Sørensen

  • Fast Multi-Level Binding-Time Analysis for Multiple Program Specialization. Abstract. Report CW 228, K.U.Leuven, April 1996. Written together with Robert Glück

  • A Program Generator for Multi-Level Specialization. Abstract. Report CW 230, K.U.Leuven, July 1996. Written together with Robert Glück

  • A Calculus for Boxing Analysis of Polymorphically Typed Languages. DIKU report 96/28. Abstract. My PhD. thesis.

    • J. Jørgensen - KVL (jesper@dina.kvl.dk) [Last changed: 23/4 1998]