Matches in SemOpenAlex for { <https://semopenalex.org/work/W1996543446> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1996543446 endingPage "35" @default.
- W1996543446 startingPage "1" @default.
- W1996543446 abstract "The most commonly used integer types have fixed bit-width, making it possible for computations to “wrap around,” and many programs depend on this behaviour. Yet much work to date on program analysis and verification of integer computations treats integers as having infinite precision, and most analyses that do respect fixed width lose precision when overflow is possible. We present a novel integer interval abstract domain that correctly handles wrap-around. The analysis is signedness agnostic. By treating integers as strings of bits, only considering signedness for operations that treat them differently, we produce precise, correct results at a modest cost in execution time." @default.
- W1996543446 created "2016-06-24" @default.
- W1996543446 creator A5014363196 @default.
- W1996543446 creator A5026684100 @default.
- W1996543446 creator A5049776257 @default.
- W1996543446 creator A5064839018 @default.
- W1996543446 creator A5090766093 @default.
- W1996543446 date "2015-01-20" @default.
- W1996543446 modified "2023-09-26" @default.
- W1996543446 title "Interval Analysis and Machine Arithmetic" @default.
- W1996543446 cites W106975502 @default.
- W1996543446 cites W1554308843 @default.
- W1996543446 cites W157536195 @default.
- W1996543446 cites W1598706103 @default.
- W1996543446 cites W1605468179 @default.
- W1996543446 cites W1820253543 @default.
- W1996543446 cites W1978364288 @default.
- W1996543446 cites W1997456729 @default.
- W1996543446 cites W2014764321 @default.
- W1996543446 cites W2025613610 @default.
- W1996543446 cites W2029251029 @default.
- W1996543446 cites W2043100293 @default.
- W1996543446 cites W2064060175 @default.
- W1996543446 cites W2088105804 @default.
- W1996543446 cites W2106315863 @default.
- W1996543446 cites W2141097255 @default.
- W1996543446 cites W2154746918 @default.
- W1996543446 cites W2159525740 @default.
- W1996543446 cites W2168096831 @default.
- W1996543446 cites W3006989933 @default.
- W1996543446 cites W3158747708 @default.
- W1996543446 cites W4230059447 @default.
- W1996543446 cites W4232822984 @default.
- W1996543446 doi "https://doi.org/10.1145/2651360" @default.
- W1996543446 hasPublicationYear "2015" @default.
- W1996543446 type Work @default.
- W1996543446 sameAs 1996543446 @default.
- W1996543446 citedByCount "10" @default.
- W1996543446 countsByYear W19965434462015 @default.
- W1996543446 countsByYear W19965434462018 @default.
- W1996543446 countsByYear W19965434462019 @default.
- W1996543446 countsByYear W19965434462020 @default.
- W1996543446 countsByYear W19965434462021 @default.
- W1996543446 countsByYear W19965434462022 @default.
- W1996543446 countsByYear W19965434462023 @default.
- W1996543446 crossrefType "journal-article" @default.
- W1996543446 hasAuthorship W1996543446A5014363196 @default.
- W1996543446 hasAuthorship W1996543446A5026684100 @default.
- W1996543446 hasAuthorship W1996543446A5049776257 @default.
- W1996543446 hasAuthorship W1996543446A5064839018 @default.
- W1996543446 hasAuthorship W1996543446A5090766093 @default.
- W1996543446 hasBestOaLocation W19965434461 @default.
- W1996543446 hasConcept C11413529 @default.
- W1996543446 hasConcept C114614502 @default.
- W1996543446 hasConcept C134306372 @default.
- W1996543446 hasConcept C191252586 @default.
- W1996543446 hasConcept C199360897 @default.
- W1996543446 hasConcept C2778067643 @default.
- W1996543446 hasConcept C33923547 @default.
- W1996543446 hasConcept C34388435 @default.
- W1996543446 hasConcept C36503486 @default.
- W1996543446 hasConcept C41008148 @default.
- W1996543446 hasConcept C45374587 @default.
- W1996543446 hasConcept C94375191 @default.
- W1996543446 hasConcept C97137487 @default.
- W1996543446 hasConceptScore W1996543446C11413529 @default.
- W1996543446 hasConceptScore W1996543446C114614502 @default.
- W1996543446 hasConceptScore W1996543446C134306372 @default.
- W1996543446 hasConceptScore W1996543446C191252586 @default.
- W1996543446 hasConceptScore W1996543446C199360897 @default.
- W1996543446 hasConceptScore W1996543446C2778067643 @default.
- W1996543446 hasConceptScore W1996543446C33923547 @default.
- W1996543446 hasConceptScore W1996543446C34388435 @default.
- W1996543446 hasConceptScore W1996543446C36503486 @default.
- W1996543446 hasConceptScore W1996543446C41008148 @default.
- W1996543446 hasConceptScore W1996543446C45374587 @default.
- W1996543446 hasConceptScore W1996543446C94375191 @default.
- W1996543446 hasConceptScore W1996543446C97137487 @default.
- W1996543446 hasIssue "1" @default.
- W1996543446 hasLocation W19965434461 @default.
- W1996543446 hasOpenAccess W1996543446 @default.
- W1996543446 hasPrimaryLocation W19965434461 @default.
- W1996543446 hasRelatedWork W161946993 @default.
- W1996543446 hasRelatedWork W198981881 @default.
- W1996543446 hasRelatedWork W1990426442 @default.
- W1996543446 hasRelatedWork W2122010041 @default.
- W1996543446 hasRelatedWork W2125420252 @default.
- W1996543446 hasRelatedWork W2130323825 @default.
- W1996543446 hasRelatedWork W2181927644 @default.
- W1996543446 hasRelatedWork W2234346873 @default.
- W1996543446 hasRelatedWork W2756505297 @default.
- W1996543446 hasRelatedWork W2776044206 @default.
- W1996543446 hasVolume "37" @default.
- W1996543446 isParatext "false" @default.
- W1996543446 isRetracted "false" @default.
- W1996543446 magId "1996543446" @default.
- W1996543446 workType "article" @default.