Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains.

Morten Khnrich, Stefan Schwoon, Jir Srba, Stefan Kiefer

Browse the full FOSSACS paper archive.