FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1973680906> ?p ?o ?g. }

• W1973680906 endingPage "73" @default.
• W1973680906 startingPage "1" @default.
• W1973680906 abstract "This article considers some known abstract domains for affine-relation analysis (ARA), along with several variants, and studies how they relate to each other. The various domains represent sets of points that satisfy affine relations over variables that hold machine integers and are based on an extension of linear algebra to modules over a ring (in particular, arithmetic performed modulo 2 w , for some machine-integer width w ). We show that the abstract domains of Müller-Olm/Seidl (MOS) and King/Søndergaard (KS) are, in general, incomparable. However, we give sound interconversion methods. In other words, we give an algorithm to convert a KS element v KS to an overapproximating MOS element v MOS —that is, γ ( v KS ) ⊆ γ ( v MOS —as well as an algorithm to convert an MOS element w MOS to an overapproximating KS element w KS —that is, γ ( w MOS ) ⊆ γ ( w KS ). The article provides insight on the range of options that one has for performing ARA in a program analyzer: —We describe how to perform a greedy, operator-by-operator abstraction method to obtain KS abstract transformers. —We also describe a more global approach to obtaining KS abstract transformers that considers the semantics of an entire instruction, basic block, or other loop-free program fragment. The latter method can yield best abstract transformers, and hence can be more precise than the former method. However, the latter method is more expensive. We also explain how to use the KS domain for interprocedural program analysis using a bit-precise concrete semantics, but without bit blasting." @default.
• W1973680906 created "2016-06-24" @default.
• W1973680906 creator A5002505238 @default.
• W1973680906 creator A5013432856 @default.
• W1973680906 creator A5036292780 @default.
• W1973680906 creator A5042559859 @default.
• W1973680906 creator A5066155126 @default.
• W1973680906 date "2014-10-28" @default.
• W1973680906 modified "2023-10-18" @default.
• W1973680906 title "Abstract Domains of Affine Relations" @default.
• W1973680906 cites W1490215229 @default.
• W1973680906 cites W1495013472 @default.
• W1973680906 cites W1500085611 @default.
• W1973680906 cites W1521221596 @default.
• W1973680906 cites W1560642162 @default.
• W1973680906 cites W1568212182 @default.
• W1973680906 cites W1591136029 @default.
• W1973680906 cites W1605468179 @default.
• W1973680906 cites W1824807610 @default.
• W1973680906 cites W1908449836 @default.
• W1973680906 cites W1981580304 @default.
• W1973680906 cites W1991504773 @default.
• W1973680906 cites W1997456729 @default.
• W1973680906 cites W2014764321 @default.
• W1973680906 cites W2020530016 @default.
• W1973680906 cites W2031373197 @default.
• W1973680906 cites W2062873592 @default.
• W1973680906 cites W2132661148 @default.
• W1973680906 cites W2151759383 @default.
• W1973680906 cites W2159709550 @default.
• W1973680906 cites W2160520283 @default.
• W1973680906 cites W2162091689 @default.
• W1973680906 cites W2165820775 @default.
• W1973680906 cites W2170371367 @default.
• W1973680906 cites W2171834078 @default.
• W1973680906 cites W2693104213 @default.
• W1973680906 cites W4244831445 @default.
• W1973680906 cites W4256280803 @default.
• W1973680906 doi "https://doi.org/10.1145/2651361" @default.
• W1973680906 hasPublicationYear "2014" @default.
• W1973680906 type Work @default.
• W1973680906 sameAs 1973680906 @default.
• W1973680906 citedByCount "17" @default.
• W1973680906 countsByYear W19736809062014 @default.
• W1973680906 countsByYear W19736809062015 @default.
• W1973680906 countsByYear W19736809062017 @default.
• W1973680906 countsByYear W19736809062018 @default.
• W1973680906 countsByYear W19736809062019 @default.
• W1973680906 countsByYear W19736809062020 @default.
• W1973680906 countsByYear W19736809062021 @default.
• W1973680906 countsByYear W19736809062022 @default.
• W1973680906 countsByYear W19736809062023 @default.
• W1973680906 crossrefType "journal-article" @default.
• W1973680906 hasAuthorship W1973680906A5002505238 @default.
• W1973680906 hasAuthorship W1973680906A5013432856 @default.
• W1973680906 hasAuthorship W1973680906A5036292780 @default.
• W1973680906 hasAuthorship W1973680906A5042559859 @default.
• W1973680906 hasAuthorship W1973680906A5066155126 @default.
• W1973680906 hasBestOaLocation W19736809061 @default.
• W1973680906 hasConcept C104317684 @default.
• W1973680906 hasConcept C11413529 @default.
• W1973680906 hasConcept C118615104 @default.
• W1973680906 hasConcept C121332964 @default.
• W1973680906 hasConcept C136119220 @default.
• W1973680906 hasConcept C158448853 @default.
• W1973680906 hasConcept C165801399 @default.
• W1973680906 hasConcept C17020691 @default.
• W1973680906 hasConcept C17744445 @default.
• W1973680906 hasConcept C185592680 @default.
• W1973680906 hasConcept C199360897 @default.
• W1973680906 hasConcept C199539241 @default.
• W1973680906 hasConcept C200288055 @default.
• W1973680906 hasConcept C202444582 @default.
• W1973680906 hasConcept C2780654840 @default.
• W1973680906 hasConcept C33923547 @default.
• W1973680906 hasConcept C41008148 @default.
• W1973680906 hasConcept C54732982 @default.
• W1973680906 hasConcept C55493867 @default.
• W1973680906 hasConcept C62520636 @default.
• W1973680906 hasConcept C66322947 @default.
• W1973680906 hasConcept C80444323 @default.
• W1973680906 hasConcept C86339819 @default.
• W1973680906 hasConcept C92757383 @default.
• W1973680906 hasConceptScore W1973680906C104317684 @default.
• W1973680906 hasConceptScore W1973680906C11413529 @default.
• W1973680906 hasConceptScore W1973680906C118615104 @default.
• W1973680906 hasConceptScore W1973680906C121332964 @default.
• W1973680906 hasConceptScore W1973680906C136119220 @default.
• W1973680906 hasConceptScore W1973680906C158448853 @default.
• W1973680906 hasConceptScore W1973680906C165801399 @default.
• W1973680906 hasConceptScore W1973680906C17020691 @default.
• W1973680906 hasConceptScore W1973680906C17744445 @default.
• W1973680906 hasConceptScore W1973680906C185592680 @default.
• W1973680906 hasConceptScore W1973680906C199360897 @default.
• W1973680906 hasConceptScore W1973680906C199539241 @default.
• W1973680906 hasConceptScore W1973680906C200288055 @default.
• W1973680906 hasConceptScore W1973680906C202444582 @default.
• W1973680906 hasConceptScore W1973680906C2780654840 @default.

• next