Matches in SemOpenAlex for { <https://semopenalex.org/work/W2899757988> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2899757988 endingPage "29" @default.
- W2899757988 startingPage "1" @default.
- W2899757988 abstract "We introduce the abstract domain of correlations to denote equality relations between parts of inputs and outputs of programs. We formalise the theory of correlations, and mechanically verify their semantic properties. We design a static inter-procedural dataflow analysis for automatically inferring correlations for programs written in a first-order language equipped with algebraic data-types and arrays. The analysis, its precision and execution cost, have been evaluated on the code and functional specification of an industrial-size micro-kernel. We exploit the inferred correlations to automatically discharge two thirds of the proof obligations related to the preservation of invariants for this micro-kernel." @default.
- W2899757988 created "2018-11-16" @default.
- W2899757988 creator A5019942303 @default.
- W2899757988 creator A5041712844 @default.
- W2899757988 creator A5054819541 @default.
- W2899757988 creator A5079567361 @default.
- W2899757988 date "2019-01-02" @default.
- W2899757988 modified "2023-09-25" @default.
- W2899757988 title "Inferring frame conditions with static correlation analysis" @default.
- W2899757988 cites W1570340440 @default.
- W2899757988 cites W1820726602 @default.
- W2899757988 cites W2035448420 @default.
- W2899757988 cites W2094160561 @default.
- W2899757988 cites W2095115578 @default.
- W2899757988 cites W2103999647 @default.
- W2899757988 cites W2108471047 @default.
- W2899757988 cites W2124153277 @default.
- W2899757988 cites W2131135493 @default.
- W2899757988 cites W2138162238 @default.
- W2899757988 cites W2140144076 @default.
- W2899757988 cites W2153131284 @default.
- W2899757988 cites W2157266926 @default.
- W2899757988 cites W2158376721 @default.
- W2899757988 cites W2295923951 @default.
- W2899757988 cites W2625924363 @default.
- W2899757988 cites W3125985216 @default.
- W2899757988 doi "https://doi.org/10.1145/3290360" @default.
- W2899757988 hasPublicationYear "2019" @default.
- W2899757988 type Work @default.
- W2899757988 sameAs 2899757988 @default.
- W2899757988 citedByCount "3" @default.
- W2899757988 countsByYear W28997579882020 @default.
- W2899757988 countsByYear W28997579882022 @default.
- W2899757988 crossrefType "journal-article" @default.
- W2899757988 hasAuthorship W2899757988A5019942303 @default.
- W2899757988 hasAuthorship W2899757988A5041712844 @default.
- W2899757988 hasAuthorship W2899757988A5054819541 @default.
- W2899757988 hasAuthorship W2899757988A5079567361 @default.
- W2899757988 hasBestOaLocation W28997579881 @default.
- W2899757988 hasConcept C11413529 @default.
- W2899757988 hasConcept C118615104 @default.
- W2899757988 hasConcept C126042441 @default.
- W2899757988 hasConcept C134306372 @default.
- W2899757988 hasConcept C165696696 @default.
- W2899757988 hasConcept C199360897 @default.
- W2899757988 hasConcept C33923547 @default.
- W2899757988 hasConcept C36503486 @default.
- W2899757988 hasConcept C38652104 @default.
- W2899757988 hasConcept C41008148 @default.
- W2899757988 hasConcept C74193536 @default.
- W2899757988 hasConcept C76155785 @default.
- W2899757988 hasConcept C80444323 @default.
- W2899757988 hasConcept C96324660 @default.
- W2899757988 hasConcept C97686452 @default.
- W2899757988 hasConceptScore W2899757988C11413529 @default.
- W2899757988 hasConceptScore W2899757988C118615104 @default.
- W2899757988 hasConceptScore W2899757988C126042441 @default.
- W2899757988 hasConceptScore W2899757988C134306372 @default.
- W2899757988 hasConceptScore W2899757988C165696696 @default.
- W2899757988 hasConceptScore W2899757988C199360897 @default.
- W2899757988 hasConceptScore W2899757988C33923547 @default.
- W2899757988 hasConceptScore W2899757988C36503486 @default.
- W2899757988 hasConceptScore W2899757988C38652104 @default.
- W2899757988 hasConceptScore W2899757988C41008148 @default.
- W2899757988 hasConceptScore W2899757988C74193536 @default.
- W2899757988 hasConceptScore W2899757988C76155785 @default.
- W2899757988 hasConceptScore W2899757988C80444323 @default.
- W2899757988 hasConceptScore W2899757988C96324660 @default.
- W2899757988 hasConceptScore W2899757988C97686452 @default.
- W2899757988 hasIssue "POPL" @default.
- W2899757988 hasLocation W28997579881 @default.
- W2899757988 hasLocation W28997579882 @default.
- W2899757988 hasOpenAccess W2899757988 @default.
- W2899757988 hasPrimaryLocation W28997579881 @default.
- W2899757988 hasRelatedWork W128957383 @default.
- W2899757988 hasRelatedWork W1517543977 @default.
- W2899757988 hasRelatedWork W1711517904 @default.
- W2899757988 hasRelatedWork W2059882177 @default.
- W2899757988 hasRelatedWork W2156783651 @default.
- W2899757988 hasRelatedWork W2482187483 @default.
- W2899757988 hasRelatedWork W2763815264 @default.
- W2899757988 hasRelatedWork W2899757988 @default.
- W2899757988 hasRelatedWork W3117114023 @default.
- W2899757988 hasRelatedWork W4253674459 @default.
- W2899757988 hasVolume "3" @default.
- W2899757988 isParatext "false" @default.
- W2899757988 isRetracted "false" @default.
- W2899757988 magId "2899757988" @default.
- W2899757988 workType "article" @default.