The interprocedural coincidence theorem (1992)

by J Knoop, B Steffen
Venue:In Compiler construction (CC