Browsing by Author "Bertossi, LE"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Towards efficient partial evaluation in logic programming
    (1996) Fuller, DA; Bocic, SA; Bertossi, LE
    Partial evaluation is a symbolic manipulation technique used to produce efficient algorithms when part of the input to the algorithm is known. Other applications of partial evaluators such as universal compilation and compiler generation are also known to be possible. A partial evaluator receives as input a program and partially known input to that program, and outputs a residual program which should run at least as efficient as the input program with restricted input.