Login / Signup

Recursion Schemes and Recursive Programs are Exponentially Hard to Analyze.

Harry B. Hunt IIIDaniel J. Rosenkrantz
Published in: SIAM J. Comput. (1986)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • transformation rules
  • domain knowledge
  • complex objects
  • data driven
  • logic programming
  • structured data