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

Javier Esparza, Jens Knoop

Browse the full FOSSACS paper archive.