Journal Articles
CoRR
Year : 2009
Stefan Haar : Connect in order to contact the contributor
https://inria.hal.science/hal-00772670
Submitted on : Thursday, January 10, 2013-10:49:55 PM
Last modification on : Friday, March 24, 2023-2:52:56 PM
Dates and versions
Identifiers
- HAL Id : hal-00772670 , version 1
Cite
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. CoRR, 2009, abs/0901.0501. ⟨hal-00772670⟩
Collections
93
View
0
Download