?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
3
Design Datalog Templates for Synthesizing Bidirectional Pro..:
, In:
?
Communications in Computer and Information Science; Software Foundations for Data Interoperability ,
4
Towards Automatic Synthesis of View Update Programs on Rela..:
, In:
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
5
An Efficient Composition of Bidirectional Programs by Memoi..:
, In:
?
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Industrial Networks and Intelligent Systems ,
6