Synthesizing Recursive Programs through Dataflow Constraints.

Marta Davila Mateu

Published in: SPLASH Companion (2023)

Keyphrases

recursive programs
program synthesis
logic programs
databases
transformation rules
software engineering
sliding window