Dean Jacobs;Anno Langen
-;-
Efficient dataflow analysis of logic programs
Journal of the ACM (JACM)
Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)