Login / Signup

Automated Synthesis of Recursive Programs from a forall-exists Logical Specification.

Jacques ChazarainSerge Muller
Published in: J. Autom. Reason. (1998)
Keyphrases
  • program synthesis
  • recursive programs
  • logic programs
  • transformation rules
  • high level
  • database
  • databases
  • data structure
  • management system
  • data driven
  • inductive logic programming