Synthesis of data completion scripts using finite tree automata

Xinyu Wang, Isil Dillig, Rishabh Singh. Synthesis of data completion scripts using finite tree automata. Proceedings of the ACM on Programming Languages, 1(OOPSLA), 2017. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.