Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles CoRR Year : 2009

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Morten Kühnrich
  • Function : Author
Jirí Srba
  • Function : Author
Stefan Kiefer
  • Function : Author

Domains

Other [cs.OH]
No file

Dates and versions

hal-00772670 , version 1 (10-01-2013)

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⟩
93 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More