Login / Signup

A Self-Applicable Partial Evaluator for Term Rewriting Systems.

Anders Bondorf
Published in: TAPSOFT, Vol.2 (1989)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • evaluation process
  • database
  • databases