1. Highly Parallel Computing,1994
2. Abstract unification for a composite domain deriving sharing and freeness properties of program variables;Bruynooghe,1994
3. An instance of abstract interpretation integrating type and mode inference;Bruynooghe,1988
4. F. Bueno, M. García de la Banda, M. Hermenegildo, Effectiveness of global analysis in strict independence-based automatic program parallelization, in: 1994 International Symposium on Logic Programming, 1993
5. Effectiveness of abstract interpretation in automatic parallelization: A case study in logic programming;Bueno;ACM TOPLAS,1999