Formal development of static program analysers

Valérie Gouranton 1 Daniel Le Métayer 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00137414
Contributor : Valérie Gouranton <>
Submitted on : Monday, March 19, 2007 - 4:58:56 PM
Last modification on : Thursday, November 29, 2018 - 6:18:08 PM

Identifiers

  • HAL Id : hal-00137414, version 1

Citation

Valérie Gouranton, Daniel Le Métayer. Formal development of static program analysers. Jun 1997, pp 100-110. ⟨hal-00137414⟩

Share

Metrics

Record views

322