Matches in SemOpenAlex for { <https://semopenalex.org/work/W2156828397> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2156828397 abstract "Automated reasoning tools often provide little or no support to reason accurately and efficiently about floating-point arithmetic. As a consequence, software verification systems that use these tools are unable to reason reliably about programs containing floating-point calculations or may give unsound results. These deficiencies are in stark contrast to the increasing awareness that the improper use of floating-point arithmetic in programs can lead to unintuitive and harmful defects in software. To promote coordinated efforts towards building efficient and accurate floating-point reasoning engines, this paper presents a formalization of the IEEE-754 standard for floating-point arithmetic as a theory in many-sorted first-order logic. Benefits include a standardized syntax and unambiguous semantics, allowing tool interoperability and sharing of benchmarks, and providing a basis for automated, formal analysis of programs that process floating-point data." @default.
- W2156828397 created "2016-06-24" @default.
- W2156828397 creator A5009343703 @default.
- W2156828397 creator A5023675966 @default.
- W2156828397 creator A5046830049 @default.
- W2156828397 creator A5068090484 @default.
- W2156828397 date "2015-06-01" @default.
- W2156828397 modified "2023-10-17" @default.
- W2156828397 title "An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic" @default.
- W2156828397 cites W1521746323 @default.
- W2156828397 cites W1824011918 @default.
- W2156828397 cites W1977336460 @default.
- W2156828397 cites W199478921 @default.
- W2156828397 cites W2077364582 @default.
- W2156828397 cites W2079624081 @default.
- W2156828397 cites W2098156778 @default.
- W2156828397 cites W2105468483 @default.
- W2156828397 cites W2108776769 @default.
- W2156828397 cites W2130920933 @default.
- W2156828397 cites W2150189917 @default.
- W2156828397 cites W2157279226 @default.
- W2156828397 doi "https://doi.org/10.1109/arith.2015.26" @default.
- W2156828397 hasPublicationYear "2015" @default.
- W2156828397 type Work @default.
- W2156828397 sameAs 2156828397 @default.
- W2156828397 citedByCount "42" @default.
- W2156828397 countsByYear W21568283972014 @default.
- W2156828397 countsByYear W21568283972016 @default.
- W2156828397 countsByYear W21568283972017 @default.
- W2156828397 countsByYear W21568283972018 @default.
- W2156828397 countsByYear W21568283972019 @default.
- W2156828397 countsByYear W21568283972020 @default.
- W2156828397 countsByYear W21568283972021 @default.
- W2156828397 countsByYear W21568283972022 @default.
- W2156828397 countsByYear W21568283972023 @default.
- W2156828397 crossrefType "proceedings-article" @default.
- W2156828397 hasAuthorship W2156828397A5009343703 @default.
- W2156828397 hasAuthorship W2156828397A5023675966 @default.
- W2156828397 hasAuthorship W2156828397A5046830049 @default.
- W2156828397 hasAuthorship W2156828397A5068090484 @default.
- W2156828397 hasBestOaLocation W21568283972 @default.
- W2156828397 hasConcept C110305270 @default.
- W2156828397 hasConcept C111919701 @default.
- W2156828397 hasConcept C137231763 @default.
- W2156828397 hasConcept C154945302 @default.
- W2156828397 hasConcept C184337299 @default.
- W2156828397 hasConcept C199360897 @default.
- W2156828397 hasConcept C20136886 @default.
- W2156828397 hasConcept C2524010 @default.
- W2156828397 hasConcept C2777904410 @default.
- W2156828397 hasConcept C28719098 @default.
- W2156828397 hasConcept C33923547 @default.
- W2156828397 hasConcept C41008148 @default.
- W2156828397 hasConcept C60048249 @default.
- W2156828397 hasConcept C80444323 @default.
- W2156828397 hasConcept C84211073 @default.
- W2156828397 hasConcept C94375191 @default.
- W2156828397 hasConceptScore W2156828397C110305270 @default.
- W2156828397 hasConceptScore W2156828397C111919701 @default.
- W2156828397 hasConceptScore W2156828397C137231763 @default.
- W2156828397 hasConceptScore W2156828397C154945302 @default.
- W2156828397 hasConceptScore W2156828397C184337299 @default.
- W2156828397 hasConceptScore W2156828397C199360897 @default.
- W2156828397 hasConceptScore W2156828397C20136886 @default.
- W2156828397 hasConceptScore W2156828397C2524010 @default.
- W2156828397 hasConceptScore W2156828397C2777904410 @default.
- W2156828397 hasConceptScore W2156828397C28719098 @default.
- W2156828397 hasConceptScore W2156828397C33923547 @default.
- W2156828397 hasConceptScore W2156828397C41008148 @default.
- W2156828397 hasConceptScore W2156828397C60048249 @default.
- W2156828397 hasConceptScore W2156828397C80444323 @default.
- W2156828397 hasConceptScore W2156828397C84211073 @default.
- W2156828397 hasConceptScore W2156828397C94375191 @default.
- W2156828397 hasLocation W21568283971 @default.
- W2156828397 hasLocation W21568283972 @default.
- W2156828397 hasOpenAccess W2156828397 @default.
- W2156828397 hasPrimaryLocation W21568283971 @default.
- W2156828397 hasRelatedWork W1482601373 @default.
- W2156828397 hasRelatedWork W1965717450 @default.
- W2156828397 hasRelatedWork W2169004268 @default.
- W2156828397 hasRelatedWork W2169016399 @default.
- W2156828397 hasRelatedWork W2322422589 @default.
- W2156828397 hasRelatedWork W2363539709 @default.
- W2156828397 hasRelatedWork W2553713956 @default.
- W2156828397 hasRelatedWork W4255129386 @default.
- W2156828397 hasRelatedWork W4376144198 @default.
- W2156828397 hasRelatedWork W2551094850 @default.
- W2156828397 isParatext "false" @default.
- W2156828397 isRetracted "false" @default.
- W2156828397 magId "2156828397" @default.
- W2156828397 workType "article" @default.