Login / Signup

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

Javier EsparzaJens Knoop
Published in: FoSSaCS (1999)
Keyphrases