Login / Signup

Synthesis of Recursive Programs in Saturation.

Petra HozzováDaneshvar AmrollahiMárton HajdúLaura KovácsAndrei VoronkovEva Maria Wagner
Published in: IJCAR (1) (2024)
Keyphrases
  • program synthesis
  • recursive programs
  • logic programs
  • transformation rules
  • case study
  • inductive logic programming
  • database
  • relational learning
  • data model
  • data points
  • management system
  • metamodel