On Reachability Analysis of Pushdown Systems with Transductions: Application to Boolean Programs with Call-by-Reference.

Fu Song, Weikai Miao, Geguang Pu, Min Zhang

Browse the full CONCUR paper archive.