Pasquale Malacaria, Chris Hankin. A New Approach to Control Flow Analysis. In Kai Koskimies, editor, Compiler Construction, 7th International Conference, CC 98, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Volume 1383 of Lecture Notes in Computer Science, pages 95-108, Springer, 1998.
Abstract is missing.