Login / Signup

Convergent term rewriting systems can be used for program transformation.

Françoise Bellegarde
Published in: Programs as Data Objects (1985)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • databases
  • machine learning
  • database applications
  • functional language