Book

Two approaches to interprocedural data flow analysis

by Micha Sharir