External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs

Olivier Ponsini, Claude Michel, Michel Rueher. Combining Constraint Programming and Abstract Interpretation for Value Analysis of Floating-point Programs. In Giuliano Antoniol, Antonia Bertolino, Yvan Labiche, editors, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. pages 775-776, IEEE, 2012. [doi]

Authors

Olivier Ponsini

This author has not been identified. Look up 'Olivier Ponsini' in Google

Claude Michel

This author has not been identified. Look up 'Claude Michel' in Google

Michel Rueher

This author has not been identified. Look up 'Michel Rueher' in Google
runs on