pushdown systems

Efficient and precise data-flow analysis.