https://hal.inria.fr/hal-00772676 Contributor : Stefan HaarConnect in order to contact the contributor Submitted on : Thursday, January 10, 2013 - 11:00:07 PM Last modification on : Thursday, January 20, 2022 - 4:13:06 PM
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FOSSACS, Mar 2009, York, United Kingdom. pp.440-455. ⟨hal-00772676⟩