FRINK Linked Data Fragments server

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

• W1568984608 endingPage "365" @default.
• W1568984608 startingPage "349" @default.
• W1568984608 abstract "In static analysis, the semantics of the program is expressed as a set of equations. The equations are solved iteratively over some abstract domain. If the abstract domain is distributive and satisfies the ascending-chain condition, an iterative technique yields the most precise solution for the equations. However, if the above properties are not satisfied, the solution obtained is typically imprecise. Moreover, due to the properties of widening operators, the precision loss is sensitive to the order in which the state-space is explored. In this paper, we introduce guided static analysis, a framework for controlling the exploration of the state-space of a program. The framework guides the state-space exploration by applying standard static-analysis techniques to a sequence of modified versions of the analyzed program. As such, the framework does not require any modifications to existing analysis techniques, and thus can be easily integrated into existing static-analysis tools. We present two instantiations of the framework, which improve the precision of widening in (i) loops with multiple phases and (ii) loops in which the transformation performed on each iteration is chosen non-deterministically." @default.
• W1568984608 created "2016-06-24" @default.
• W1568984608 creator A5066155126 @default.
• W1568984608 creator A5076033728 @default.
• W1568984608 date "2007-08-21" @default.
• W1568984608 modified "2023-10-01" @default.
• W1568984608 title "Guided Static Analysis" @default.
• W1568984608 cites W1487657751 @default.
• W1568984608 cites W1515906028 @default.
• W1568984608 cites W1547121950 @default.
• W1568984608 cites W1557880268 @default.
• W1568984608 cites W1570919259 @default.
• W1568984608 cites W1580450019 @default.
• W1568984608 cites W1755257908 @default.
• W1568984608 cites W2014764321 @default.
• W1568984608 cites W2087771409 @default.
• W1568984608 cites W2103714221 @default.
• W1568984608 cites W2295903414 @default.
• W1568984608 cites W2852225 @default.
• W1568984608 cites W2911436048 @default.
• W1568984608 cites W4237492309 @default.
• W1568984608 doi "https://doi.org/10.1007/978-3-540-74061-2_22" @default.
• W1568984608 hasPublicationYear "2007" @default.
• W1568984608 type Work @default.
• W1568984608 sameAs 1568984608 @default.
• W1568984608 citedByCount "59" @default.
• W1568984608 countsByYear W15689846082012 @default.
• W1568984608 countsByYear W15689846082013 @default.
• W1568984608 countsByYear W15689846082014 @default.
• W1568984608 countsByYear W15689846082015 @default.
• W1568984608 countsByYear W15689846082016 @default.
• W1568984608 countsByYear W15689846082017 @default.
• W1568984608 countsByYear W15689846082018 @default.
• W1568984608 countsByYear W15689846082019 @default.
• W1568984608 countsByYear W15689846082021 @default.
• W1568984608 countsByYear W15689846082022 @default.
• W1568984608 countsByYear W15689846082023 @default.
• W1568984608 crossrefType "book-chapter" @default.
• W1568984608 hasAuthorship W1568984608A5066155126 @default.
• W1568984608 hasAuthorship W1568984608A5076033728 @default.
• W1568984608 hasConcept C104317684 @default.
• W1568984608 hasConcept C105795698 @default.
• W1568984608 hasConcept C11413529 @default.
• W1568984608 hasConcept C11821877 @default.
• W1568984608 hasConcept C126255220 @default.
• W1568984608 hasConcept C134306372 @default.
• W1568984608 hasConcept C159694833 @default.
• W1568984608 hasConcept C177264268 @default.
• W1568984608 hasConcept C184337299 @default.
• W1568984608 hasConcept C185592680 @default.
• W1568984608 hasConcept C199360897 @default.
• W1568984608 hasConcept C202444582 @default.
• W1568984608 hasConcept C204241405 @default.
• W1568984608 hasConcept C2778112365 @default.
• W1568984608 hasConcept C2778361913 @default.
• W1568984608 hasConcept C2780654840 @default.
• W1568984608 hasConcept C33923547 @default.
• W1568984608 hasConcept C36503486 @default.
• W1568984608 hasConcept C41008148 @default.
• W1568984608 hasConcept C54355233 @default.
• W1568984608 hasConcept C55493867 @default.
• W1568984608 hasConcept C72434380 @default.
• W1568984608 hasConcept C80444323 @default.
• W1568984608 hasConcept C86803240 @default.
• W1568984608 hasConcept C97686452 @default.
• W1568984608 hasConcept C98183937 @default.
• W1568984608 hasConceptScore W1568984608C104317684 @default.
• W1568984608 hasConceptScore W1568984608C105795698 @default.
• W1568984608 hasConceptScore W1568984608C11413529 @default.
• W1568984608 hasConceptScore W1568984608C11821877 @default.
• W1568984608 hasConceptScore W1568984608C126255220 @default.
• W1568984608 hasConceptScore W1568984608C134306372 @default.
• W1568984608 hasConceptScore W1568984608C159694833 @default.
• W1568984608 hasConceptScore W1568984608C177264268 @default.
• W1568984608 hasConceptScore W1568984608C184337299 @default.
• W1568984608 hasConceptScore W1568984608C185592680 @default.
• W1568984608 hasConceptScore W1568984608C199360897 @default.
• W1568984608 hasConceptScore W1568984608C202444582 @default.
• W1568984608 hasConceptScore W1568984608C204241405 @default.
• W1568984608 hasConceptScore W1568984608C2778112365 @default.
• W1568984608 hasConceptScore W1568984608C2778361913 @default.
• W1568984608 hasConceptScore W1568984608C2780654840 @default.
• W1568984608 hasConceptScore W1568984608C33923547 @default.
• W1568984608 hasConceptScore W1568984608C36503486 @default.
• W1568984608 hasConceptScore W1568984608C41008148 @default.
• W1568984608 hasConceptScore W1568984608C54355233 @default.
• W1568984608 hasConceptScore W1568984608C55493867 @default.
• W1568984608 hasConceptScore W1568984608C72434380 @default.
• W1568984608 hasConceptScore W1568984608C80444323 @default.
• W1568984608 hasConceptScore W1568984608C86803240 @default.
• W1568984608 hasConceptScore W1568984608C97686452 @default.
• W1568984608 hasConceptScore W1568984608C98183937 @default.
• W1568984608 hasLocation W15689846081 @default.
• W1568984608 hasOpenAccess W1568984608 @default.
• W1568984608 hasPrimaryLocation W15689846081 @default.
• W1568984608 hasRelatedWork W1483759049 @default.
• W1568984608 hasRelatedWork W1603485317 @default.
• W1568984608 hasRelatedWork W1879453804 @default.

• next