Login / Signup

Parameter Passing in Nondeterministic Recursive Programs.

David B. Benson
Published in: J. Comput. Syst. Sci. (1979)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • transformation rules
  • data mining
  • service oriented