Faster Algorithms for Algebraic Path Properties in RSMs with Constant Treewidth

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…