FRINK Linked Data Fragments server

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

• W1818121340 abstract "The size-change abstraction (SCA) is an important program abstraction for termination analysis, which has been successfully implemented in many tools for functional and logic programs. In this paper, we demonstrate that SCA is also a highly effective abstract domain for the bound analysis of imperative programs. We have implemented a bound analysis tool based on SCA for imperative programs. We abstract programs in a pathwise and context dependent manner, which enables our tool to analyze real-world programs effectively. Our work shows that SCA captures many of the essential ideas of previous termination and bound analysis and goes beyond in a conceptually simpler framework." @default.
• W1818121340 created "2016-06-24" @default.
• W1818121340 creator A5011543162 @default.
• W1818121340 creator A5031521357 @default.
• W1818121340 creator A5052440027 @default.
• W1818121340 creator A5063337176 @default.
• W1818121340 date "2012-03-23" @default.
• W1818121340 modified "2023-09-27" @default.
• W1818121340 title "Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)" @default.
• W1818121340 cites W1492171827 @default.
• W1818121340 cites W1497058589 @default.
• W1818121340 cites W1500350535 @default.
• W1818121340 cites W1505537169 @default.
• W1818121340 cites W1562651002 @default.
• W1818121340 cites W1599625180 @default.
• W1818121340 cites W1600009974 @default.
• W1818121340 cites W1755589398 @default.
• W1818121340 cites W1844529821 @default.
• W1818121340 cites W1993129359 @default.
• W1818121340 cites W1996856267 @default.
• W1818121340 cites W2107588378 @default.
• W1818121340 cites W2112969535 @default.
• W1818121340 cites W2122917953 @default.
• W1818121340 cites W2124909257 @default.
• W1818121340 cites W2135331739 @default.
• W1818121340 cites W2137062096 @default.
• W1818121340 cites W2140678594 @default.
• W1818121340 cites W2153185479 @default.
• W1818121340 cites W2156045808 @default.
• W1818121340 cites W2293708017 @default.
• W1818121340 cites W2911436048 @default.
• W1818121340 cites W2951254455 @default.
• W1818121340 cites W92576581 @default.
• W1818121340 hasPublicationYear "2012" @default.
• W1818121340 type Work @default.
• W1818121340 sameAs 1818121340 @default.
• W1818121340 citedByCount "2" @default.
• W1818121340 countsByYear W18181213402014 @default.
• W1818121340 countsByYear W18181213402015 @default.
• W1818121340 crossrefType "posted-content" @default.
• W1818121340 hasAuthorship W1818121340A5011543162 @default.
• W1818121340 hasAuthorship W1818121340A5031521357 @default.
• W1818121340 hasAuthorship W1818121340A5052440027 @default.
• W1818121340 hasAuthorship W1818121340A5063337176 @default.
• W1818121340 hasConcept C111472728 @default.
• W1818121340 hasConcept C124304363 @default.
• W1818121340 hasConcept C134306372 @default.
• W1818121340 hasConcept C138885662 @default.
• W1818121340 hasConcept C147358964 @default.
• W1818121340 hasConcept C151730666 @default.
• W1818121340 hasConcept C199360897 @default.
• W1818121340 hasConcept C2777904410 @default.
• W1818121340 hasConcept C2779343474 @default.
• W1818121340 hasConcept C2780654840 @default.
• W1818121340 hasConcept C33923547 @default.
• W1818121340 hasConcept C36503486 @default.
• W1818121340 hasConcept C41008148 @default.
• W1818121340 hasConcept C77553402 @default.
• W1818121340 hasConcept C80444323 @default.
• W1818121340 hasConcept C86803240 @default.
• W1818121340 hasConcept C97686452 @default.
• W1818121340 hasConcept C98183937 @default.
• W1818121340 hasConceptScore W1818121340C111472728 @default.
• W1818121340 hasConceptScore W1818121340C124304363 @default.
• W1818121340 hasConceptScore W1818121340C134306372 @default.
• W1818121340 hasConceptScore W1818121340C138885662 @default.
• W1818121340 hasConceptScore W1818121340C147358964 @default.
• W1818121340 hasConceptScore W1818121340C151730666 @default.
• W1818121340 hasConceptScore W1818121340C199360897 @default.
• W1818121340 hasConceptScore W1818121340C2777904410 @default.
• W1818121340 hasConceptScore W1818121340C2779343474 @default.
• W1818121340 hasConceptScore W1818121340C2780654840 @default.
• W1818121340 hasConceptScore W1818121340C33923547 @default.
• W1818121340 hasConceptScore W1818121340C36503486 @default.
• W1818121340 hasConceptScore W1818121340C41008148 @default.
• W1818121340 hasConceptScore W1818121340C77553402 @default.
• W1818121340 hasConceptScore W1818121340C80444323 @default.
• W1818121340 hasConceptScore W1818121340C86803240 @default.
• W1818121340 hasConceptScore W1818121340C97686452 @default.
• W1818121340 hasConceptScore W1818121340C98183937 @default.
• W1818121340 hasLocation W18181213401 @default.
• W1818121340 hasOpenAccess W1818121340 @default.
• W1818121340 hasPrimaryLocation W18181213401 @default.
• W1818121340 hasRelatedWork W1529821561 @default.
• W1818121340 hasRelatedWork W1539795027 @default.
• W1818121340 hasRelatedWork W2003295303 @default.
• W1818121340 hasRelatedWork W2037205044 @default.
• W1818121340 hasRelatedWork W2065604163 @default.
• W1818121340 hasRelatedWork W2077212395 @default.
• W1818121340 hasRelatedWork W2179029238 @default.
• W1818121340 hasRelatedWork W2470267985 @default.
• W1818121340 hasRelatedWork W2548257568 @default.
• W1818121340 hasRelatedWork W2581096492 @default.
• W1818121340 hasRelatedWork W2613033681 @default.
• W1818121340 hasRelatedWork W2746526659 @default.
• W1818121340 hasRelatedWork W2962940888 @default.
• W1818121340 hasRelatedWork W2965462056 @default.
• W1818121340 hasRelatedWork W2980011154 @default.
• W1818121340 hasRelatedWork W2988867660 @default.
• W1818121340 hasRelatedWork W3096421200 @default.

• next