Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples.

Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu

Browse the full LOPSTR paper archive.