Search for persons
X
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
2
Design Datalog Templates for Synthesizing Bidirectional Pro..:
, In:
?
Communications in Computer and Information Science; Software Foundations for Data Interoperability ,
3
Towards Automatic Synthesis of View Update Programs on Rela..:
, In:
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
4
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 ,
5