67 citations · 123 across the 37 of their papers we have counts for
1 paper · 1 filter
Krishnendu Chatterjee, Bernhard Kragl, Samarth Mishra +1
Pushdown systems (PDSs) and recursive state machines (RSMs), which are linearly equivalent, are standard models for interprocedural analysis. Yet RSMs are more convenient as they (…