FRINK Linked Data Fragments server

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

• W139856780 endingPage "230" @default.
• W139856780 startingPage "214" @default.
• W139856780 abstract "Loop leaping is the colloquial name given to a form of program analysis in which summaries are derived for nested loops starting from the innermost loop and proceeding in a bottom-up fashion considering one more loop at a time. Loop leaping contrasts with classical approaches to finding loop invariants that are iterative; loop leaping is compositional requiring each stratum in the nest of loops to be considered exactly once. The approach is attractive in predicate abstraction where disjunctive domains are increasingly used that present long ascending chains. This paper proposes a simple and an efficient approach for loop leaping for these domains based on viewing loops as closure operators." @default.
• W139856780 created "2016-06-24" @default.
• W139856780 creator A5008301973 @default.
• W139856780 creator A5019982470 @default.
• W139856780 creator A5063762504 @default.
• W139856780 creator A5070791589 @default.
• W139856780 date "2012-01-01" @default.
• W139856780 modified "2023-09-23" @default.
• W139856780 title "Loop Leaping with Closures" @default.
• W139856780 cites W1493580732 @default.
• W139856780 cites W1497571013 @default.
• W139856780 cites W1500085611 @default.
• W139856780 cites W1500350535 @default.
• W139856780 cites W1526520004 @default.
• W139856780 cites W1551202246 @default.
• W139856780 cites W1553858749 @default.
• W139856780 cites W1562679818 @default.
• W139856780 cites W1589297860 @default.
• W139856780 cites W1599625180 @default.
• W139856780 cites W1600009974 @default.
• W139856780 cites W1603182045 @default.
• W139856780 cites W1605468179 @default.
• W139856780 cites W1670210142 @default.
• W139856780 cites W1844529821 @default.
• W139856780 cites W1848981483 @default.
• W139856780 cites W1877129949 @default.
• W139856780 cites W1982205631 @default.
• W139856780 cites W2005505439 @default.
• W139856780 cites W2016056788 @default.
• W139856780 cites W2043100293 @default.
• W139856780 cites W2099952304 @default.
• W139856780 cites W2148050168 @default.
• W139856780 cites W2172006877 @default.
• W139856780 cites W221370897 @default.
• W139856780 cites W2761697135 @default.
• W139856780 cites W2952380519 @default.
• W139856780 cites W3019119050 @default.
• W139856780 cites W4240835555 @default.
• W139856780 cites W4241223029 @default.
• W139856780 doi "https://doi.org/10.1007/978-3-642-33125-1_16" @default.
• W139856780 hasPublicationYear "2012" @default.
• W139856780 type Work @default.
• W139856780 sameAs 139856780 @default.
• W139856780 citedByCount "7" @default.
• W139856780 countsByYear W1398567802013 @default.
• W139856780 countsByYear W1398567802015 @default.
• W139856780 countsByYear W1398567802017 @default.
• W139856780 countsByYear W1398567802018 @default.
• W139856780 countsByYear W1398567802021 @default.
• W139856780 crossrefType "book-chapter" @default.
• W139856780 hasAuthorship W139856780A5008301973 @default.
• W139856780 hasAuthorship W139856780A5019982470 @default.
• W139856780 hasAuthorship W139856780A5063762504 @default.
• W139856780 hasAuthorship W139856780A5070791589 @default.
• W139856780 hasBestOaLocation W1398567802 @default.
• W139856780 hasConcept C110251889 @default.
• W139856780 hasConcept C111472728 @default.
• W139856780 hasConcept C11413529 @default.
• W139856780 hasConcept C114614502 @default.
• W139856780 hasConcept C124101348 @default.
• W139856780 hasConcept C124304363 @default.
• W139856780 hasConcept C1306188 @default.
• W139856780 hasConcept C134718785 @default.
• W139856780 hasConcept C138885662 @default.
• W139856780 hasConcept C140146324 @default.
• W139856780 hasConcept C169590947 @default.
• W139856780 hasConcept C184670325 @default.
• W139856780 hasConcept C199360897 @default.
• W139856780 hasConcept C2779624466 @default.
• W139856780 hasConcept C2779907942 @default.
• W139856780 hasConcept C2780586882 @default.
• W139856780 hasConcept C33923547 @default.
• W139856780 hasConcept C41008148 @default.
• W139856780 hasConcept C80444323 @default.
• W139856780 hasConcept C82653869 @default.
• W139856780 hasConceptScore W139856780C110251889 @default.
• W139856780 hasConceptScore W139856780C111472728 @default.
• W139856780 hasConceptScore W139856780C11413529 @default.
• W139856780 hasConceptScore W139856780C114614502 @default.
• W139856780 hasConceptScore W139856780C124101348 @default.
• W139856780 hasConceptScore W139856780C124304363 @default.
• W139856780 hasConceptScore W139856780C1306188 @default.
• W139856780 hasConceptScore W139856780C134718785 @default.
• W139856780 hasConceptScore W139856780C138885662 @default.
• W139856780 hasConceptScore W139856780C140146324 @default.
• W139856780 hasConceptScore W139856780C169590947 @default.
• W139856780 hasConceptScore W139856780C184670325 @default.
• W139856780 hasConceptScore W139856780C199360897 @default.
• W139856780 hasConceptScore W139856780C2779624466 @default.
• W139856780 hasConceptScore W139856780C2779907942 @default.
• W139856780 hasConceptScore W139856780C2780586882 @default.
• W139856780 hasConceptScore W139856780C33923547 @default.
• W139856780 hasConceptScore W139856780C41008148 @default.
• W139856780 hasConceptScore W139856780C80444323 @default.
• W139856780 hasConceptScore W139856780C82653869 @default.
• W139856780 hasLocation W1398567801 @default.
• W139856780 hasLocation W1398567802 @default.
• W139856780 hasOpenAccess W139856780 @default.

• next