Login / Signup

Formalizing non-termination of recursive programs.

Reinhard KahleThomas Studer
Published in: J. Log. Algebraic Methods Program. (2001)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • transformation rules
  • logic programming
  • case study
  • management system
  • background knowledge
  • inductive logic programming