Login / Signup

On Inductive Proofs by Extended Unfold/Fold Transformation Rules.

Hirohisa Seki
Published in: LOPSTR (2010)
Keyphrases
  • transformation rules
  • recursive programs
  • rewrite rules
  • metamodel
  • program synthesis
  • model driven
  • metadata
  • logic programs
  • inductive logic programming
  • black box