Login / Signup
Formalizing non-termination of recursive programs.
Reinhard Kahle
Thomas 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