Login / Signup

A Navigation Logic for Recursive Programs with Dynamic Thread Creation.

Roman LakenbrinkMarkus Müller-OlmChristoph OhremJens Oliver Gutsfeld
Published in: VMCAI (2) (2024)
Keyphrases
  • recursive programs
  • program synthesis
  • logic programs
  • transformation rules
  • logic programming
  • relational databases
  • prior knowledge