LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
https://hal.inria.fr/hal-00772676
Contributeur : Stefan Haar
<>
Soumis le : jeudi 10 janvier 2013 - 23:00:07
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37
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, 2009. 〈hal-00772676〉
