FRINK Linked Data Fragments server

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

• W2040384644 abstract "This paper presents a novel framework for the symbolic bounds analysis of pointers, array indices, and accessed memory regions. Our framework formulates each analysis problem as a system of inequality constraints between symbolic bound polynomials. It then reduces the constraint system to a linear program. The solution to the linear program provides symbolic lower and upper bounds for the values of pointer and array index variables and for the regions of memory that each statement and procedure accesses. This approach eliminates fundamental problems associated with applying standard fixed-point approaches to symbolic analysis problems. Experimental results from our implemented compiler show that the analysis can solve several important problems, including static race detection, automatic parallelization, static detection of array bounds violations, elimination of array bounds checks, and reduction of the number of bits used to store computed values." @default.
• W2040384644 created "2016-06-24" @default.
• W2040384644 creator A5045127387 @default.
• W2040384644 creator A5071924868 @default.
• W2040384644 date "2000-05-01" @default.
• W2040384644 modified "2023-10-17" @default.
• W2040384644 title "Symbolic bounds analysis of pointers, array indices, and accessed memory regions" @default.
• W2040384644 cites W1965864973 @default.
• W2040384644 cites W1980928473 @default.
• W2040384644 cites W1997474908 @default.
• W2040384644 cites W2006471246 @default.
• W2040384644 cites W2026237859 @default.
• W2040384644 cites W2030697178 @default.
• W2040384644 cites W2032401773 @default.
• W2040384644 cites W2054939714 @default.
• W2040384644 cites W2061239425 @default.
• W2040384644 cites W2061291998 @default.
• W2040384644 cites W2064556673 @default.
• W2040384644 cites W2066952803 @default.
• W2040384644 cites W2072725684 @default.
• W2040384644 cites W2103864764 @default.
• W2040384644 cites W2104251622 @default.
• W2040384644 cites W2109875364 @default.
• W2040384644 cites W2130711572 @default.
• W2040384644 cites W2158134106 @default.
• W2040384644 cites W2160650521 @default.
• W2040384644 cites W2162169073 @default.
• W2040384644 cites W4250522981 @default.
• W2040384644 doi "https://doi.org/10.1145/349299.349325" @default.
• W2040384644 hasPublicationYear "2000" @default.
• W2040384644 type Work @default.
• W2040384644 sameAs 2040384644 @default.
• W2040384644 citedByCount "120" @default.
• W2040384644 countsByYear W20403846442012 @default.
• W2040384644 countsByYear W20403846442013 @default.
• W2040384644 countsByYear W20403846442014 @default.
• W2040384644 countsByYear W20403846442015 @default.
• W2040384644 countsByYear W20403846442017 @default.
• W2040384644 countsByYear W20403846442018 @default.
• W2040384644 countsByYear W20403846442019 @default.
• W2040384644 countsByYear W20403846442021 @default.
• W2040384644 crossrefType "proceedings-article" @default.
• W2040384644 hasAuthorship W2040384644A5045127387 @default.
• W2040384644 hasAuthorship W2040384644A5071924868 @default.
• W2040384644 hasBestOaLocation W20403846441 @default.
• W2040384644 hasConcept C11413529 @default.
• W2040384644 hasConcept C134306372 @default.
• W2040384644 hasConcept C150202949 @default.
• W2040384644 hasConcept C169590947 @default.
• W2040384644 hasConcept C173608175 @default.
• W2040384644 hasConcept C199360897 @default.
• W2040384644 hasConcept C2524010 @default.
• W2040384644 hasConcept C2776036281 @default.
• W2040384644 hasConcept C2777904410 @default.
• W2040384644 hasConcept C2779639559 @default.
• W2040384644 hasConcept C28180684 @default.
• W2040384644 hasConcept C33923547 @default.
• W2040384644 hasConcept C41008148 @default.
• W2040384644 hasConcept C65620979 @default.
• W2040384644 hasConcept C7263679 @default.
• W2040384644 hasConcept C77553402 @default.
• W2040384644 hasConcept C80444323 @default.
• W2040384644 hasConcept C9390403 @default.
• W2040384644 hasConcept C94375191 @default.
• W2040384644 hasConcept C97686452 @default.
• W2040384644 hasConcept C98183937 @default.
• W2040384644 hasConceptScore W2040384644C11413529 @default.
• W2040384644 hasConceptScore W2040384644C134306372 @default.
• W2040384644 hasConceptScore W2040384644C150202949 @default.
• W2040384644 hasConceptScore W2040384644C169590947 @default.
• W2040384644 hasConceptScore W2040384644C173608175 @default.
• W2040384644 hasConceptScore W2040384644C199360897 @default.
• W2040384644 hasConceptScore W2040384644C2524010 @default.
• W2040384644 hasConceptScore W2040384644C2776036281 @default.
• W2040384644 hasConceptScore W2040384644C2777904410 @default.
• W2040384644 hasConceptScore W2040384644C2779639559 @default.
• W2040384644 hasConceptScore W2040384644C28180684 @default.
• W2040384644 hasConceptScore W2040384644C33923547 @default.
• W2040384644 hasConceptScore W2040384644C41008148 @default.
• W2040384644 hasConceptScore W2040384644C65620979 @default.
• W2040384644 hasConceptScore W2040384644C7263679 @default.
• W2040384644 hasConceptScore W2040384644C77553402 @default.
• W2040384644 hasConceptScore W2040384644C80444323 @default.
• W2040384644 hasConceptScore W2040384644C9390403 @default.
• W2040384644 hasConceptScore W2040384644C94375191 @default.
• W2040384644 hasConceptScore W2040384644C97686452 @default.
• W2040384644 hasConceptScore W2040384644C98183937 @default.
• W2040384644 hasLocation W20403846441 @default.
• W2040384644 hasOpenAccess W2040384644 @default.
• W2040384644 hasPrimaryLocation W20403846441 @default.
• W2040384644 hasRelatedWork W1566618018 @default.
• W2040384644 hasRelatedWork W2040384644 @default.
• W2040384644 hasRelatedWork W2107742417 @default.
• W2040384644 hasRelatedWork W2127929122 @default.
• W2040384644 hasRelatedWork W2213281886 @default.
• W2040384644 hasRelatedWork W23987500 @default.
• W2040384644 hasRelatedWork W2966717793 @default.
• W2040384644 hasRelatedWork W3092545530 @default.
• W2040384644 hasRelatedWork W3099499197 @default.
• W2040384644 hasRelatedWork W4244118184 @default.

• next