20 citations · 62 across the 23 of their papers we have counts for
1 paper · 2 filters
Krishnendu Chatterjee, Rasmus Ibsen-Jensen, Andreas Pavlogiannis +1
Interprocedural analysis is at the heart of numerous applications in programming languages, such as alias analysis, constant propagation, etc. Recursive state machines (RSMs) are s…