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
Document type :
Journal articles
Liste complète des métadonnées

https://hal.inria.fr/hal-00772670
Contributor : Stefan Haar <>
Submitted on : Thursday, January 10, 2013 - 10:49:55 PM
Last modification on : Thursday, January 11, 2018 - 6:23:37 AM

Identifiers

  • HAL Id : hal-00772670, version 1

Collections

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⟩

Share

Metrics

Record views

195