Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space)
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Logic Program Synthesis as Problem Reduction Using Combining Forms
Automated Software Engineering
Abductive logic programming by nonground rewrite systems
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Diagnosing and correcting design inconsistencies in source code with logical abduction
Science of Computer Programming
Hi-index | 0.01 |