Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136673411> ?p ?o ?g. }
- W3136673411 endingPage "63" @default.
- W3136673411 startingPage "43" @default.
- W3136673411 abstract "Abstract Tools that automatically prove the absence or detect the presence of large floating-point roundoff errors or the special values NaN and Infinity greatly help developers to reason about the unintuitive nature of floating-point arithmetic. We show that state-of-the-art tools, however, support or provide non-trivial results only for relatively short programs. We propose a framework for combining different static and dynamic analyses that allows to increase their reach beyond what they can do individually. Furthermore, we show how adaptations of existing dynamic and static techniques effectively trade some soundness guarantees for increased scalability, providing conditional verification of floating-point kernels in realistic programs." @default.
- W3136673411 created "2021-03-29" @default.
- W3136673411 creator A5012292231 @default.
- W3136673411 creator A5022516896 @default.
- W3136673411 creator A5053069388 @default.
- W3136673411 creator A5064181052 @default.
- W3136673411 creator A5084898219 @default.
- W3136673411 date "2021-01-01" @default.
- W3136673411 modified "2023-10-12" @default.
- W3136673411 title "A Two-Phase Approach for Conditional Floating-Point Verification" @default.
- W3136673411 cites W1167406420 @default.
- W3136673411 cites W116894366 @default.
- W3136673411 cites W1507872748 @default.
- W3136673411 cites W1518247129 @default.
- W3136673411 cites W1561086741 @default.
- W3136673411 cites W1849426162 @default.
- W3136673411 cites W1986969990 @default.
- W3136673411 cites W1995350708 @default.
- W3136673411 cites W1995574761 @default.
- W3136673411 cites W2043100293 @default.
- W3136673411 cites W2061091230 @default.
- W3136673411 cites W2081368694 @default.
- W3136673411 cites W2105983962 @default.
- W3136673411 cites W2121344286 @default.
- W3136673411 cites W2122738744 @default.
- W3136673411 cites W2127145687 @default.
- W3136673411 cites W2128985333 @default.
- W3136673411 cites W2130920933 @default.
- W3136673411 cites W2134875273 @default.
- W3136673411 cites W2135584970 @default.
- W3136673411 cites W2142262899 @default.
- W3136673411 cites W2146641295 @default.
- W3136673411 cites W2147177731 @default.
- W3136673411 cites W2151959678 @default.
- W3136673411 cites W2169004268 @default.
- W3136673411 cites W2227234579 @default.
- W3136673411 cites W2247455710 @default.
- W3136673411 cites W2251636819 @default.
- W3136673411 cites W2294434616 @default.
- W3136673411 cites W2295915207 @default.
- W3136673411 cites W2299696796 @default.
- W3136673411 cites W2566629575 @default.
- W3136673411 cites W2566919497 @default.
- W3136673411 cites W2588591308 @default.
- W3136673411 cites W2740744105 @default.
- W3136673411 cites W2741068848 @default.
- W3136673411 cites W2748956697 @default.
- W3136673411 cites W2758443906 @default.
- W3136673411 cites W2766540688 @default.
- W3136673411 cites W2790741450 @default.
- W3136673411 cites W2797985644 @default.
- W3136673411 cites W2798954527 @default.
- W3136673411 cites W2808820334 @default.
- W3136673411 cites W2891235722 @default.
- W3136673411 cites W2899807069 @default.
- W3136673411 cites W2926761828 @default.
- W3136673411 cites W2930279141 @default.
- W3136673411 cites W2954681676 @default.
- W3136673411 cites W2956055894 @default.
- W3136673411 cites W2963521335 @default.
- W3136673411 cites W2996252512 @default.
- W3136673411 cites W3089408602 @default.
- W3136673411 cites W3091359231 @default.
- W3136673411 cites W3100198463 @default.
- W3136673411 cites W3104664063 @default.
- W3136673411 cites W3138624857 @default.
- W3136673411 cites W327452528 @default.
- W3136673411 cites W4234850770 @default.
- W3136673411 cites W4248729839 @default.
- W3136673411 doi "https://doi.org/10.1007/978-3-030-72013-1_3" @default.
- W3136673411 hasPublicationYear "2021" @default.
- W3136673411 type Work @default.
- W3136673411 sameAs 3136673411 @default.
- W3136673411 citedByCount "2" @default.
- W3136673411 countsByYear W31366734112022 @default.
- W3136673411 countsByYear W31366734112023 @default.
- W3136673411 crossrefType "book-chapter" @default.
- W3136673411 hasAuthorship W3136673411A5012292231 @default.
- W3136673411 hasAuthorship W3136673411A5022516896 @default.
- W3136673411 hasAuthorship W3136673411A5053069388 @default.
- W3136673411 hasAuthorship W3136673411A5064181052 @default.
- W3136673411 hasAuthorship W3136673411A5084898219 @default.
- W3136673411 hasBestOaLocation W31366734111 @default.
- W3136673411 hasConcept C110305270 @default.
- W3136673411 hasConcept C111919701 @default.
- W3136673411 hasConcept C11413529 @default.
- W3136673411 hasConcept C199360897 @default.
- W3136673411 hasConcept C2524010 @default.
- W3136673411 hasConcept C28719098 @default.
- W3136673411 hasConcept C33923547 @default.
- W3136673411 hasConcept C35912277 @default.
- W3136673411 hasConcept C39920170 @default.
- W3136673411 hasConcept C41008148 @default.
- W3136673411 hasConcept C48044578 @default.
- W3136673411 hasConcept C48103436 @default.
- W3136673411 hasConcept C80444323 @default.
- W3136673411 hasConcept C84211073 @default.
- W3136673411 hasConcept C97686452 @default.