Efficient computation of flow-insensitive interprocedural summary information—a correction

Abstract
No abstract available