BIB-VERSION:: CS-TR-v2.0
          ID:: STAN//CSL-TR-92-517
       ENTRY:: November 02, 1994
ORGANIZATION:: Stanford University, Computer Systems Laboratory
       TITLE:: Preserving Information during Online Partial Evaluation
        TYPE:: Technical Report
      AUTHOR:: Ruf, Erik
      AUTHOR:: Weise, Daniel
        DATE:: April 1992
       PAGES:: 52
    ABSTRACT:: The degree to which a partial evaluator can specialize a
               source program depends on how accurately the partial
               evaluator can represent and maintain information about
               runtime values. Partial evaluators always lose some accuracy
               due to their use of finite type systems; however, existing
               partial evaluation techniques lose information about runtime
               values even when their type systems are capable of
               representing such information. This paper describes two
               sources of such loss in existing specializers, solutions for
               both cases, and the implementation of these solutions in our
               partial evaluation system, FUSE.
       NOTES:: [Adminitrivia V1/Prg/19941102]
         END:: STAN//CSL-TR-92-517