Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples.

Bach Nguyen Trong Kanae Tsushima Zhenjiang Hu

Published in: LOPSTR (2023)

Keyphrases

genetic algorithm
logic programs
design process
engineering design
neural network
user interface
data model
control system
programming language
data integration
design patterns
deductive databases
answer sets
design decisions
design methodology