Bach Nguyen Trong

According to our database, Bach Nguyen Trong authored at least 2 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Design Datalog Templates for Synthesizing Bidirectional Programs from Tabular Examples.

Bach Nguyen Trong, Kanae Tsushima, Zhenjiang Hu

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2020

An Efficient Composition of Bidirectional Programs by Memoization and Lazy Update.

Kanae Tsushima, Bach Nguyen Trong, Robert Glück, Zhenjiang Hu

Proceedings of the Functional and Logic Programming - 15th International Symposium, 2020