Login / Signup

Realizability of Concurrent Recursive Programs.

Benedikt BolligManuela-Lidia GrindeiPeter Habermehl
Published in: FoSSaCS (2009)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • transformation rules
  • database
  • relational databases
  • domain knowledge
  • data driven
  • logic programming
  • inductive logic programming
  • metamodel