S. Taylor;S. Safra;E. Shapiro
Weizmann Institute of Science;Weizmann Institute of Science;Weizmann Institute of Science
Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)