Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains

Morten Kühnrich
  • Fonction : Auteur
Jirí Srba
  • Fonction : Auteur
Stefan Kiefer
  • Fonction : Auteur

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-00772676 , version 1

Citer

Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains. FOSSACS, Mar 2009, York, United Kingdom. pp.440-455. ⟨hal-00772676⟩
59 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More