An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis.

Javier Esparza Jens Knoop An Automata-Theoretic Approach to Interprocedural Data-Flow Analysis. 14-30 1999 conf/fossacs/1999 FoSSaCS db/conf/fossacs/fossacs1999.html#EsparzaK99