Skip to Main content Skip to Navigation
Journal articles

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], Inria Saclay - Ile de France
Document type :
Journal articles
Complete list of metadata
https://hal.inria.fr/hal-00772670
Contributor : Stefan Haar Connect in order to contact the contributor
Submitted on : Thursday, January 10, 2013 - 10:49:55 PM
Last modification on : Thursday, January 20, 2022 - 4:12:11 PM

Identifiers

  • HAL Id : hal-00772670, version 1

Collections

CNRS | INRIA | ENS-CACHAN | INRIA2 | ENS-PARIS-SACLAY

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

90

 

Contact                    Legal Notice                    Personal Data