Search for persons
X
?
1
Analysis, Verification and Transformation for Declarative P..
Lecture Notes in Computer Science, 13160
?
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming ,
13
Static Performance Guarantees for Programs with Runtime Che..:
, In:
?
14
Logic-Based Program Synthesis and Transformation
26th International Symposium, LOPSTR 2016, Edinburgh, UK, S...
Lecture Notes in Computer Science ; 10184;SpringerLink, Bücher;Springer eBook Collection, Computer Science
?
Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion ,
15