automata

Synchronized Pushdown Systems

Efficient and precise data-flow analysis.