On Sound Relative Error Bounds for Floating-Point Arithmetic

Izycheva, Anastasiia; Darulova, Eva

doi:10.23919/FMCAD.2017.8102236

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Conference Paper

On Sound Relative Error Bounds for Floating-Point Arithmetic

MPS-Authors

/persons/resource/persons216354

Izycheva, Anastasiia
Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society;

/persons/resource/persons216352

Darulova, Eva
Group E. Darulova, Max Planck Institute for Software Systems, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Izycheva, A., & Darulova, E. (2017). On Sound Relative Error Bounds for Floating-Point Arithmetic. In D. Stewart, & G. Weissenbacher (Eds.), Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design (pp. 15-22). Piscataway, NJ: IEEE. doi:10.23919/FMCAD.2017.8102236.

Cite as: https://hdl.handle.net/21.11116/0000-0000-85BC-6

Abstract

There is no abstract available