Key points are not available for this paper at this time.
Nous présentons un nouvel algorithme pour calculer des alias interprocéduraux en raison du passage de paramètres par référence. Cet algorithme s'exécute en O(N2+NE) et, lorsqu'il est combiné avec des algorithmes pour des problèmes de flux de données insensibles aux alias, produit des algorithmes pour la résolution de problèmes généraux de flux de données insensibles qui s'exécutent également en O(N2+NE).
Cooper et al. (Sun,) ont étudié cette question.