A Sound Floating-Point Polyhedra Abstract Domain

Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00531567
Contributor : Antoine Miné <>
Submitted on : Wednesday, November 3, 2010 - 10:25:08 AM
Last modification on : Tuesday, September 3, 2019 - 3:04:02 PM

Identifiers

  • HAL Id : hal-00531567, version 1

Collections

Citation

Liqian Chen, Antoine Miné, Patrick Cousot. A Sound Floating-Point Polyhedra Abstract Domain. Sixth Asian Symposium on Programming Languages and Systems (APLAS'08), Dec 2008, India. pp.3-18. ⟨hal-00531567⟩

Share

Metrics

Record views

93