Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140809377> ?p ?o ?g. }
- W2140809377 abstract "We present a new, precise technique for fully path- and context-sensitive program analysis. Our technique exploits two observations: First, using quantified, recursive formulas, path- and context-sensitive conditions for many program properties can be expressed exactly. To compute a closed form solution to such recursive constraints, we differentiate between observable and unobservable variables, the latter of which are existentially quantified in our approach. Using the insight that unobservable variables can be eliminated outside a certain scope, our technique computes satisfiability- and validity-preserving closed-form solutions to the original recursive constraints. We prove the solution is as precise as the original system for answering may and must queries as well as being small in practice, allowing our technique to scale to the entire Linux kernel, a program with over 6 million lines of code." @default.
- W2140809377 created "2016-06-24" @default.
- W2140809377 creator A5006424908 @default.
- W2140809377 creator A5074844638 @default.
- W2140809377 creator A5087402475 @default.
- W2140809377 date "2008-06-07" @default.
- W2140809377 modified "2023-10-17" @default.
- W2140809377 title "Sound, complete and scalable path-sensitive analysis" @default.
- W2140809377 cites W1533964197 @default.
- W2140809377 cites W1598913101 @default.
- W2140809377 cites W2025057593 @default.
- W2140809377 cites W2052286082 @default.
- W2140809377 cites W2052664195 @default.
- W2140809377 cites W2061438988 @default.
- W2140809377 cites W2080573945 @default.
- W2140809377 cites W2103714221 @default.
- W2140809377 cites W2122464905 @default.
- W2140809377 cites W2135794045 @default.
- W2140809377 cites W2138378640 @default.
- W2140809377 cites W2139668965 @default.
- W2140809377 cites W3000428991 @default.
- W2140809377 cites W4212792638 @default.
- W2140809377 doi "https://doi.org/10.1145/1375581.1375615" @default.
- W2140809377 hasPublicationYear "2008" @default.
- W2140809377 type Work @default.
- W2140809377 sameAs 2140809377 @default.
- W2140809377 citedByCount "106" @default.
- W2140809377 countsByYear W21408093772012 @default.
- W2140809377 countsByYear W21408093772013 @default.
- W2140809377 countsByYear W21408093772014 @default.
- W2140809377 countsByYear W21408093772015 @default.
- W2140809377 countsByYear W21408093772016 @default.
- W2140809377 countsByYear W21408093772017 @default.
- W2140809377 countsByYear W21408093772018 @default.
- W2140809377 countsByYear W21408093772019 @default.
- W2140809377 countsByYear W21408093772020 @default.
- W2140809377 countsByYear W21408093772021 @default.
- W2140809377 countsByYear W21408093772022 @default.
- W2140809377 countsByYear W21408093772023 @default.
- W2140809377 crossrefType "proceedings-article" @default.
- W2140809377 hasAuthorship W2140809377A5006424908 @default.
- W2140809377 hasAuthorship W2140809377A5074844638 @default.
- W2140809377 hasAuthorship W2140809377A5087402475 @default.
- W2140809377 hasBestOaLocation W21408093772 @default.
- W2140809377 hasConcept C11413529 @default.
- W2140809377 hasConcept C118615104 @default.
- W2140809377 hasConcept C121332964 @default.
- W2140809377 hasConcept C149782125 @default.
- W2140809377 hasConcept C151730666 @default.
- W2140809377 hasConcept C152062344 @default.
- W2140809377 hasConcept C165696696 @default.
- W2140809377 hasConcept C168773769 @default.
- W2140809377 hasConcept C177264268 @default.
- W2140809377 hasConcept C199360897 @default.
- W2140809377 hasConcept C2776760102 @default.
- W2140809377 hasConcept C2777735758 @default.
- W2140809377 hasConcept C2779343474 @default.
- W2140809377 hasConcept C2780695315 @default.
- W2140809377 hasConcept C32848918 @default.
- W2140809377 hasConcept C33923547 @default.
- W2140809377 hasConcept C38652104 @default.
- W2140809377 hasConcept C41008148 @default.
- W2140809377 hasConcept C48044578 @default.
- W2140809377 hasConcept C62520636 @default.
- W2140809377 hasConcept C74193536 @default.
- W2140809377 hasConcept C77088390 @default.
- W2140809377 hasConcept C80444323 @default.
- W2140809377 hasConcept C86803240 @default.
- W2140809377 hasConcept C98183937 @default.
- W2140809377 hasConceptScore W2140809377C11413529 @default.
- W2140809377 hasConceptScore W2140809377C118615104 @default.
- W2140809377 hasConceptScore W2140809377C121332964 @default.
- W2140809377 hasConceptScore W2140809377C149782125 @default.
- W2140809377 hasConceptScore W2140809377C151730666 @default.
- W2140809377 hasConceptScore W2140809377C152062344 @default.
- W2140809377 hasConceptScore W2140809377C165696696 @default.
- W2140809377 hasConceptScore W2140809377C168773769 @default.
- W2140809377 hasConceptScore W2140809377C177264268 @default.
- W2140809377 hasConceptScore W2140809377C199360897 @default.
- W2140809377 hasConceptScore W2140809377C2776760102 @default.
- W2140809377 hasConceptScore W2140809377C2777735758 @default.
- W2140809377 hasConceptScore W2140809377C2779343474 @default.
- W2140809377 hasConceptScore W2140809377C2780695315 @default.
- W2140809377 hasConceptScore W2140809377C32848918 @default.
- W2140809377 hasConceptScore W2140809377C33923547 @default.
- W2140809377 hasConceptScore W2140809377C38652104 @default.
- W2140809377 hasConceptScore W2140809377C41008148 @default.
- W2140809377 hasConceptScore W2140809377C48044578 @default.
- W2140809377 hasConceptScore W2140809377C62520636 @default.
- W2140809377 hasConceptScore W2140809377C74193536 @default.
- W2140809377 hasConceptScore W2140809377C77088390 @default.
- W2140809377 hasConceptScore W2140809377C80444323 @default.
- W2140809377 hasConceptScore W2140809377C86803240 @default.
- W2140809377 hasConceptScore W2140809377C98183937 @default.
- W2140809377 hasLocation W21408093771 @default.
- W2140809377 hasLocation W21408093772 @default.
- W2140809377 hasOpenAccess W2140809377 @default.
- W2140809377 hasPrimaryLocation W21408093771 @default.
- W2140809377 hasRelatedWork W1578306890 @default.
- W2140809377 hasRelatedWork W1992562623 @default.