FRINK Linked Data Fragments server

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

• W1580450019 endingPage "160" @default.
• W1580450019 startingPage "144" @default.
• W1580450019 abstract "Linear Relation Analysis [CH78, Hal79] is one of the first, but still one of the most powerful, abstract interpretations working in an infinite lattice. As such, it makes use of a widening operator to enforce the convergence of fixpoint computations. While the approximation due to widening can be arbitrarily refined by delaying the application of widening, the analysis quickly becomes too expensive with the increase of delay. Previous attempts at improving the precision of widening are not completely satisfactory, since none of them is guaranteed to improve the precision of the result, and they can nevertheless increase the cost of the analysis. In this paper, we investigate an improvement of Linear Relation Analysis consisting in computing, when possible, the exact (abstract) effect of a loop. This technique is fully compatible with the use of widening, and whenever it applies, it improves both the precision and the performance of the analysis." @default.
• W1580450019 created "2016-06-24" @default.
• W1580450019 creator A5059186408 @default.
• W1580450019 creator A5080577181 @default.
• W1580450019 date "2006-01-01" @default.
• W1580450019 modified "2023-10-03" @default.
• W1580450019 title "Combining Widening and Acceleration in Linear Relation Analysis" @default.
• W1580450019 cites W1502028089 @default.
• W1580450019 cites W1532358383 @default.
• W1580450019 cites W1538408429 @default.
• W1580450019 cites W1547584984 @default.
• W1580450019 cites W1551571370 @default.
• W1580450019 cites W1575647584 @default.
• W1580450019 cites W1589297860 @default.
• W1580450019 cites W1606950856 @default.
• W1580450019 cites W1881102326 @default.
• W1580450019 cites W1997268799 @default.
• W1580450019 cites W2004463571 @default.
• W1580450019 cites W2043100293 @default.
• W1580450019 cites W2045112813 @default.
• W1580450019 cites W2060095702 @default.
• W1580450019 cites W2118382442 @default.
• W1580450019 cites W2132661148 @default.
• W1580450019 cites W2134017373 @default.
• W1580450019 cites W2167467151 @default.
• W1580450019 cites W2911436048 @default.
• W1580450019 cites W3100198463 @default.
• W1580450019 cites W4239558088 @default.
• W1580450019 cites W4242965270 @default.
• W1580450019 doi "https://doi.org/10.1007/11823230_10" @default.
• W1580450019 hasPublicationYear "2006" @default.
• W1580450019 type Work @default.
• W1580450019 sameAs 1580450019 @default.
• W1580450019 citedByCount "53" @default.
• W1580450019 countsByYear W15804500192012 @default.
• W1580450019 countsByYear W15804500192013 @default.
• W1580450019 countsByYear W15804500192014 @default.
• W1580450019 countsByYear W15804500192015 @default.
• W1580450019 countsByYear W15804500192016 @default.
• W1580450019 countsByYear W15804500192017 @default.
• W1580450019 countsByYear W15804500192018 @default.
• W1580450019 countsByYear W15804500192019 @default.
• W1580450019 countsByYear W15804500192020 @default.
• W1580450019 countsByYear W15804500192021 @default.
• W1580450019 countsByYear W15804500192022 @default.
• W1580450019 crossrefType "book-chapter" @default.
• W1580450019 hasAuthorship W1580450019A5059186408 @default.
• W1580450019 hasAuthorship W1580450019A5080577181 @default.
• W1580450019 hasBestOaLocation W15804500192 @default.
• W1580450019 hasConcept C104317684 @default.
• W1580450019 hasConcept C11413529 @default.
• W1580450019 hasConcept C117896860 @default.
• W1580450019 hasConcept C121332964 @default.
• W1580450019 hasConcept C124101348 @default.
• W1580450019 hasConcept C126255220 @default.
• W1580450019 hasConcept C158448853 @default.
• W1580450019 hasConcept C162324750 @default.
• W1580450019 hasConcept C17020691 @default.
• W1580450019 hasConcept C185592680 @default.
• W1580450019 hasConcept C24890656 @default.
• W1580450019 hasConcept C25343380 @default.
• W1580450019 hasConcept C2777303404 @default.
• W1580450019 hasConcept C2781204021 @default.
• W1580450019 hasConcept C28826006 @default.
• W1580450019 hasConcept C33923547 @default.
• W1580450019 hasConcept C41008148 @default.
• W1580450019 hasConcept C45374587 @default.
• W1580450019 hasConcept C50522688 @default.
• W1580450019 hasConcept C55493867 @default.
• W1580450019 hasConcept C74650414 @default.
• W1580450019 hasConcept C86339819 @default.
• W1580450019 hasConceptScore W1580450019C104317684 @default.
• W1580450019 hasConceptScore W1580450019C11413529 @default.
• W1580450019 hasConceptScore W1580450019C117896860 @default.
• W1580450019 hasConceptScore W1580450019C121332964 @default.
• W1580450019 hasConceptScore W1580450019C124101348 @default.
• W1580450019 hasConceptScore W1580450019C126255220 @default.
• W1580450019 hasConceptScore W1580450019C158448853 @default.
• W1580450019 hasConceptScore W1580450019C162324750 @default.
• W1580450019 hasConceptScore W1580450019C17020691 @default.
• W1580450019 hasConceptScore W1580450019C185592680 @default.
• W1580450019 hasConceptScore W1580450019C24890656 @default.
• W1580450019 hasConceptScore W1580450019C25343380 @default.
• W1580450019 hasConceptScore W1580450019C2777303404 @default.
• W1580450019 hasConceptScore W1580450019C2781204021 @default.
• W1580450019 hasConceptScore W1580450019C28826006 @default.
• W1580450019 hasConceptScore W1580450019C33923547 @default.
• W1580450019 hasConceptScore W1580450019C41008148 @default.
• W1580450019 hasConceptScore W1580450019C45374587 @default.
• W1580450019 hasConceptScore W1580450019C50522688 @default.
• W1580450019 hasConceptScore W1580450019C55493867 @default.
• W1580450019 hasConceptScore W1580450019C74650414 @default.
• W1580450019 hasConceptScore W1580450019C86339819 @default.
• W1580450019 hasLocation W15804500191 @default.
• W1580450019 hasLocation W15804500192 @default.
• W1580450019 hasLocation W15804500193 @default.
• W1580450019 hasLocation W15804500194 @default.
• W1580450019 hasLocation W15804500195 @default.

• next