9 citations · 22 across the 12 of their papers we have counts for
1 paper · 2 filters
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 (…