Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Morten Kühnrich Stefan Schwoon 1 Jirí Srba Stefan Kiefer
1 MEXICO - Modeling and Exploitation of Interaction and Concurrency
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
Type de document :
Article dans une revue
CoRR, Arxive, 2009, abs/0901.0501
Liste complète des métadonnées
https://hal.inria.fr/hal-00772670
Contributeur : Stefan Haar <>
Soumis le : jeudi 10 janvier 2013 - 22:49:55
Dernière modification le : jeudi 11 janvier 2018 - 06:23:37

Identifiants

  • HAL Id : hal-00772670, version 1

Collections

INRIA | ENS-CACHAN

Citation

Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. CoRR, Arxive, 2009, abs/0901.0501. 〈hal-00772670〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

168

Contact


archive-ouverte@inria.fr