Search for persons
X
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
5
Building a Join Optimizer for Soufflé:
, In:
?
Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ,
7
An efficient interpreter for Datalog by de-specializing rel..:
, In:
?
Proceedings of the 14th International Conference on Information Processing in Sensor Networks ,
10