Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Morten Kühnrich, Stefan Schwoon, Jiří Srba +1

We study generalized fixed-point equations over idempotent semirings and provide an efficient algorithm for the detection whether a sequence of Kleene's iterations stabilizes after…