FRINK Linked Data Fragments server

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

• W166407345 endingPage "491" @default.
• W166407345 startingPage "472" @default.
• W166407345 abstract "We present a parameterized widening operator that determines the control-flow sensitivity of an analysis, i.e., its flow-sensitivity, context-sensitivity, and path-sensitivity. By instantiating the operator’s parameter in different ways, the analysis can be tuned to arbitrary sensitivities without changing the abstract semantics of the analysis itself. Similarly, the analysis can be implemented so that its sensitivity can be tuned without changing the analysis implementation. Thus, the sensitivity is an independent concern, allowing the analysis designer to design and implement the analysis without worrying about its sensitivity and then easily experiment with different sensitivities after the fact. Additionally, we show that the space of control-flow sensitivities induced by this widening operator forms a lattice. The lattice meet and join operators are the product and sum of sensitivities, respectively. They can be used to automatically create new sensitivities from existing ones without manual effort. The sum operation in particular is a novel construction, which creates a new sensitivity less precise than either of its operands but containing elements of both." @default.
• W166407345 created "2016-06-24" @default.
• W166407345 creator A5006874689 @default.
• W166407345 creator A5028264088 @default.
• W166407345 creator A5069748045 @default.
• W166407345 creator A5074393511 @default.
• W166407345 date "2014-01-01" @default.
• W166407345 modified "2023-10-17" @default.
• W166407345 title "Widening for Control-Flow" @default.
• W166407345 cites W1515906028 @default.
• W166407345 cites W1521434182 @default.
• W166407345 cites W1522000168 @default.
• W166407345 cites W1584436405 @default.
• W166407345 cites W1589797855 @default.
• W166407345 cites W1592238360 @default.
• W166407345 cites W1600244485 @default.
• W166407345 cites W1611084195 @default.
• W166407345 cites W1966449927 @default.
• W166407345 cites W1983583725 @default.
• W166407345 cites W1986693746 @default.
• W166407345 cites W2005599232 @default.
• W166407345 cites W2013885073 @default.
• W166407345 cites W2014764321 @default.
• W166407345 cites W2043100293 @default.
• W166407345 cites W2043416466 @default.
• W166407345 cites W2044870852 @default.
• W166407345 cites W2053152889 @default.
• W166407345 cites W2114193033 @default.
• W166407345 cites W2124153277 @default.
• W166407345 cites W2142504844 @default.
• W166407345 cites W2162544703 @default.
• W166407345 cites W4237051906 @default.
• W166407345 cites W4242057943 @default.
• W166407345 cites W4242823406 @default.
• W166407345 cites W4251478049 @default.
• W166407345 doi "https://doi.org/10.1007/978-3-642-54013-4_26" @default.
• W166407345 hasPublicationYear "2014" @default.
• W166407345 type Work @default.
• W166407345 sameAs 166407345 @default.
• W166407345 citedByCount "8" @default.
• W166407345 countsByYear W1664073452014 @default.
• W166407345 countsByYear W1664073452015 @default.
• W166407345 countsByYear W1664073452019 @default.
• W166407345 countsByYear W1664073452020 @default.
• W166407345 countsByYear W1664073452023 @default.
• W166407345 crossrefType "book-chapter" @default.
• W166407345 hasAuthorship W166407345A5006874689 @default.
• W166407345 hasAuthorship W166407345A5028264088 @default.
• W166407345 hasAuthorship W166407345A5069748045 @default.
• W166407345 hasAuthorship W166407345A5074393511 @default.
• W166407345 hasConcept C104317684 @default.
• W166407345 hasConcept C11413529 @default.
• W166407345 hasConcept C127413603 @default.
• W166407345 hasConcept C151730666 @default.
• W166407345 hasConcept C158448853 @default.
• W166407345 hasConcept C165464430 @default.
• W166407345 hasConcept C17020691 @default.
• W166407345 hasConcept C185592680 @default.
• W166407345 hasConcept C21200559 @default.
• W166407345 hasConcept C24326235 @default.
• W166407345 hasConcept C2779343474 @default.
• W166407345 hasConcept C41008148 @default.
• W166407345 hasConcept C55493867 @default.
• W166407345 hasConcept C55526617 @default.
• W166407345 hasConcept C80444323 @default.
• W166407345 hasConcept C86339819 @default.
• W166407345 hasConcept C86803240 @default.
• W166407345 hasConcept C9390403 @default.
• W166407345 hasConceptScore W166407345C104317684 @default.
• W166407345 hasConceptScore W166407345C11413529 @default.
• W166407345 hasConceptScore W166407345C127413603 @default.
• W166407345 hasConceptScore W166407345C151730666 @default.
• W166407345 hasConceptScore W166407345C158448853 @default.
• W166407345 hasConceptScore W166407345C165464430 @default.
• W166407345 hasConceptScore W166407345C17020691 @default.
• W166407345 hasConceptScore W166407345C185592680 @default.
• W166407345 hasConceptScore W166407345C21200559 @default.
• W166407345 hasConceptScore W166407345C24326235 @default.
• W166407345 hasConceptScore W166407345C2779343474 @default.
• W166407345 hasConceptScore W166407345C41008148 @default.
• W166407345 hasConceptScore W166407345C55493867 @default.
• W166407345 hasConceptScore W166407345C55526617 @default.
• W166407345 hasConceptScore W166407345C80444323 @default.
• W166407345 hasConceptScore W166407345C86339819 @default.
• W166407345 hasConceptScore W166407345C86803240 @default.
• W166407345 hasConceptScore W166407345C9390403 @default.
• W166407345 hasLocation W1664073451 @default.
• W166407345 hasOpenAccess W166407345 @default.
• W166407345 hasPrimaryLocation W1664073451 @default.
• W166407345 hasRelatedWork W1584381913 @default.
• W166407345 hasRelatedWork W1973679146 @default.
• W166407345 hasRelatedWork W1981498168 @default.
• W166407345 hasRelatedWork W2055541046 @default.
• W166407345 hasRelatedWork W2356629573 @default.
• W166407345 hasRelatedWork W2357085366 @default.
• W166407345 hasRelatedWork W2366037484 @default.
• W166407345 hasRelatedWork W2369533775 @default.
• W166407345 hasRelatedWork W2387504105 @default.

• next