Login / Signup

Bottom-Up Computation of Recursive Programs.

Gérard Berry
Published in: RAIRO Theor. Informatics Appl. (1976)
Keyphrases
  • recursive programs
  • program synthesis
  • transformation rules
  • logic programs
  • machine learning
  • database
  • case study