Login / Signup

Proving Partial Correctness and Termination of Mutually Recursive Programs.

Nikolaj PopovTudor Jebelean
Published in: SYNASC (2010)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • term rewrite systems
  • transformation rules
  • databases
  • logic programming