The Interprocedural Coincidence Theorem (1992)

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