The interprocedural coincidence theorem (1992)

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