FRINK Linked Data Fragments server

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

• W2796522192 abstract "Information about the memory locations accessed by a program is, for instance, required for program parallelisation and program verification. Existing inference techniques for this information provide only partial solutions for the important class of array-manipulating programs. In this paper, we present a static analysis that infers the memory footprint of an array program in terms of permission pre- and postconditions as used, for example, in separation logic. This formulation allows our analysis to handle concurrent programs and produces specifications that can be used by verification tools. Our analysis expresses the permissions required by a loop via maximum expressions over the individual loop iterations. These maximum expressions are then solved by a novel maximum elimination algorithm, in the spirit of quantifier elimination. Our approach is sound and is implemented; an evaluation on existing benchmarks for memory safety of array programs demonstrates accurate results, even for programs with complex access patterns and nested loops." @default.
• W2796522192 created "2018-04-24" @default.
• W2796522192 creator A5024465794 @default.
• W2796522192 creator A5055766022 @default.
• W2796522192 creator A5073853337 @default.
• W2796522192 creator A5077439185 @default.
• W2796522192 creator A5080556886 @default.
• W2796522192 date "2018-04-11" @default.
• W2796522192 modified "2023-09-27" @default.
• W2796522192 title "Permission Inference for Array Programs" @default.
• W2796522192 cites W1861989620 @default.
• W2796522192 cites W2137628566 @default.
• W2796522192 hasPublicationYear "2018" @default.
• W2796522192 type Work @default.
• W2796522192 sameAs 2796522192 @default.
• W2796522192 citedByCount "1" @default.
• W2796522192 countsByYear W27965221922020 @default.
• W2796522192 crossrefType "posted-content" @default.
• W2796522192 hasAuthorship W2796522192A5024465794 @default.
• W2796522192 hasAuthorship W2796522192A5055766022 @default.
• W2796522192 hasAuthorship W2796522192A5073853337 @default.
• W2796522192 hasAuthorship W2796522192A5077439185 @default.
• W2796522192 hasAuthorship W2796522192A5080556886 @default.
• W2796522192 hasConcept C11413529 @default.
• W2796522192 hasConcept C1306188 @default.
• W2796522192 hasConcept C154945302 @default.
• W2796522192 hasConcept C173608175 @default.
• W2796522192 hasConcept C173856430 @default.
• W2796522192 hasConcept C17744445 @default.
• W2796522192 hasConcept C199360897 @default.
• W2796522192 hasConcept C199539241 @default.
• W2796522192 hasConcept C2776214188 @default.
• W2796522192 hasConcept C2777212361 @default.
• W2796522192 hasConcept C2779089604 @default.
• W2796522192 hasConcept C2780654840 @default.
• W2796522192 hasConcept C41008148 @default.
• W2796522192 hasConcept C74912251 @default.
• W2796522192 hasConcept C80444323 @default.
• W2796522192 hasConcept C97686452 @default.
• W2796522192 hasConcept C98183937 @default.
• W2796522192 hasConceptScore W2796522192C11413529 @default.
• W2796522192 hasConceptScore W2796522192C1306188 @default.
• W2796522192 hasConceptScore W2796522192C154945302 @default.
• W2796522192 hasConceptScore W2796522192C173608175 @default.
• W2796522192 hasConceptScore W2796522192C173856430 @default.
• W2796522192 hasConceptScore W2796522192C17744445 @default.
• W2796522192 hasConceptScore W2796522192C199360897 @default.
• W2796522192 hasConceptScore W2796522192C199539241 @default.
• W2796522192 hasConceptScore W2796522192C2776214188 @default.
• W2796522192 hasConceptScore W2796522192C2777212361 @default.
• W2796522192 hasConceptScore W2796522192C2779089604 @default.
• W2796522192 hasConceptScore W2796522192C2780654840 @default.
• W2796522192 hasConceptScore W2796522192C41008148 @default.
• W2796522192 hasConceptScore W2796522192C74912251 @default.
• W2796522192 hasConceptScore W2796522192C80444323 @default.
• W2796522192 hasConceptScore W2796522192C97686452 @default.
• W2796522192 hasConceptScore W2796522192C98183937 @default.
• W2796522192 hasLocation W27965221921 @default.
• W2796522192 hasOpenAccess W2796522192 @default.
• W2796522192 hasPrimaryLocation W27965221921 @default.
• W2796522192 hasRelatedWork W1480315939 @default.
• W2796522192 hasRelatedWork W1484245816 @default.
• W2796522192 hasRelatedWork W1490039225 @default.
• W2796522192 hasRelatedWork W1497166859 @default.
• W2796522192 hasRelatedWork W1573675221 @default.
• W2796522192 hasRelatedWork W1973326708 @default.
• W2796522192 hasRelatedWork W1976015317 @default.
• W2796522192 hasRelatedWork W2096862145 @default.
• W2796522192 hasRelatedWork W2106016907 @default.
• W2796522192 hasRelatedWork W2202813706 @default.
• W2796522192 hasRelatedWork W2340580983 @default.
• W2796522192 hasRelatedWork W2472218294 @default.
• W2796522192 hasRelatedWork W2527841494 @default.
• W2796522192 hasRelatedWork W2552659276 @default.
• W2796522192 hasRelatedWork W2565399133 @default.
• W2796522192 hasRelatedWork W2775714401 @default.
• W2796522192 hasRelatedWork W2784797555 @default.
• W2796522192 hasRelatedWork W2798810563 @default.
• W2796522192 hasRelatedWork W2964227339 @default.
• W2796522192 hasRelatedWork W3132583707 @default.
• W2796522192 isParatext "false" @default.
• W2796522192 isRetracted "false" @default.
• W2796522192 magId "2796522192" @default.
• W2796522192 workType "article" @default.