Partial Evaluation with Inference Rules

Laurent Hascoet INRIA, BP93, 06902 Sophia-Antipolis, France

INRIA Research Report #817, april 1988 (21 pages)

Abstract: We suppose we are given a program P in some language L, and a set of inference rules that define the dynamic semantics of this language L. We propose a tactic for (partially) evaluating a given predicate in a set of inference rules. This tactic applied to P and to the dynamic semantics of L gives back a new set of specialized inference rules that define the dynamic semantics of P. Thus this process, given an interpreter for the language L, yields a compiled version of any program written in L, the compiled version being a set of inference rules.

Keywords: Inference Rules, Partial Evaluation, Prolog, Tactic

Full text (pdf)


@techreport{Hascoet88c,
  author = {Hasco\"et, L.},
  title = {Partial Evaluation with Inference Rules},
  institution = {INRIA},
  type = {Research Report},
  number=817,
  url = "http://www.inria.fr/rrrt/rr-0817.html",
  year=1988
}