An algorithmic mitigation of large spurious interprocedural cycles in static analysis

Hakjoo Oh, Kwangkeun Yi. An algorithmic mitigation of large spurious interprocedural cycles in static analysis. Software: Practice and Experience, 40(8):585-603, 2010. [doi]

Abstract

Abstract is missing.