FRINK Linked Data Fragments server

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

• W2340189834 abstract "Modern software applications are growing increasingly large and complex, at the same time as they are taking on increasingly critical roles. To deal with this twofold pressure, we need automated tools that help us analyze the function of programs or program fragments to an arbitrary level of precision. This paper discusses an approach to computing the function of a while loop, and illustrates it by means of a simple prototype." @default.
• W2340189834 created "2016-06-24" @default.
• W2340189834 creator A5013516157 @default.
• W2340189834 creator A5051584027 @default.
• W2340189834 creator A5061263507 @default.
• W2340189834 creator A5066593676 @default.
• W2340189834 date "2007-01-01" @default.
• W2340189834 modified "2023-09-24" @default.
• W2340189834 title "Toward the Automated Derivation of Loop Functions" @default.
• W2340189834 cites W101199937 @default.
• W2340189834 cites W148396834 @default.
• W2340189834 cites W1552647623 @default.
• W2340189834 cites W1563374593 @default.
• W2340189834 cites W1923291441 @default.
• W2340189834 cites W2006006495 @default.
• W2340189834 cites W2007225061 @default.
• W2340189834 cites W2012895643 @default.
• W2340189834 cites W2017486666 @default.
• W2340189834 cites W2019389359 @default.
• W2340189834 cites W2031373197 @default.
• W2340189834 cites W2043100293 @default.
• W2340189834 cites W2046213250 @default.
• W2340189834 cites W2062764376 @default.
• W2340189834 cites W2074592031 @default.
• W2340189834 cites W2081945419 @default.
• W2340189834 cites W2098045685 @default.
• W2340189834 cites W2099107494 @default.
• W2340189834 cites W2103953153 @default.
• W2340189834 cites W2106661290 @default.
• W2340189834 cites W2110908283 @default.
• W2340189834 cites W2113047249 @default.
• W2340189834 cites W2118362509 @default.
• W2340189834 cites W2131361093 @default.
• W2340189834 cites W2132661148 @default.
• W2340189834 cites W2134630546 @default.
• W2340189834 cites W2135331739 @default.
• W2340189834 cites W2147543351 @default.
• W2340189834 cites W2150170258 @default.
• W2340189834 cites W2167382421 @default.
• W2340189834 cites W2798271294 @default.
• W2340189834 cites W281821942 @default.
• W2340189834 cites W3146075203 @default.
• W2340189834 cites W2468864797 @default.
• W2340189834 hasPublicationYear "2007" @default.
• W2340189834 type Work @default.
• W2340189834 sameAs 2340189834 @default.
• W2340189834 citedByCount "1" @default.
• W2340189834 crossrefType "journal-article" @default.
• W2340189834 hasAuthorship W2340189834A5013516157 @default.
• W2340189834 hasAuthorship W2340189834A5051584027 @default.
• W2340189834 hasAuthorship W2340189834A5061263507 @default.
• W2340189834 hasAuthorship W2340189834A5066593676 @default.
• W2340189834 hasConcept C111472728 @default.
• W2340189834 hasConcept C114614502 @default.
• W2340189834 hasConcept C115903868 @default.
• W2340189834 hasConcept C138885662 @default.
• W2340189834 hasConcept C14036430 @default.
• W2340189834 hasConcept C184670325 @default.
• W2340189834 hasConcept C199360897 @default.
• W2340189834 hasConcept C2777904410 @default.
• W2340189834 hasConcept C2780586882 @default.
• W2340189834 hasConcept C33923547 @default.
• W2340189834 hasConcept C41008148 @default.
• W2340189834 hasConcept C78458016 @default.
• W2340189834 hasConcept C86803240 @default.
• W2340189834 hasConceptScore W2340189834C111472728 @default.
• W2340189834 hasConceptScore W2340189834C114614502 @default.
• W2340189834 hasConceptScore W2340189834C115903868 @default.
• W2340189834 hasConceptScore W2340189834C138885662 @default.
• W2340189834 hasConceptScore W2340189834C14036430 @default.
• W2340189834 hasConceptScore W2340189834C184670325 @default.
• W2340189834 hasConceptScore W2340189834C199360897 @default.
• W2340189834 hasConceptScore W2340189834C2777904410 @default.
• W2340189834 hasConceptScore W2340189834C2780586882 @default.
• W2340189834 hasConceptScore W2340189834C33923547 @default.
• W2340189834 hasConceptScore W2340189834C41008148 @default.
• W2340189834 hasConceptScore W2340189834C78458016 @default.
• W2340189834 hasConceptScore W2340189834C86803240 @default.
• W2340189834 hasLocation W23401898341 @default.
• W2340189834 hasOpenAccess W2340189834 @default.
• W2340189834 hasPrimaryLocation W23401898341 @default.
• W2340189834 hasRelatedWork W110994617 @default.
• W2340189834 hasRelatedWork W128859279 @default.
• W2340189834 hasRelatedWork W1489852798 @default.
• W2340189834 hasRelatedWork W1532493918 @default.
• W2340189834 hasRelatedWork W2027422213 @default.
• W2340189834 hasRelatedWork W2057411487 @default.
• W2340189834 hasRelatedWork W2107497316 @default.
• W2340189834 hasRelatedWork W2198660300 @default.
• W2340189834 hasRelatedWork W2294319124 @default.
• W2340189834 hasRelatedWork W2302670718 @default.
• W2340189834 hasRelatedWork W2304048052 @default.
• W2340189834 hasRelatedWork W2408297014 @default.
• W2340189834 hasRelatedWork W2490313081 @default.
• W2340189834 hasRelatedWork W2511311244 @default.
• W2340189834 hasRelatedWork W2577543477 @default.
• W2340189834 hasRelatedWork W2796244040 @default.
• W2340189834 hasRelatedWork W2965261000 @default.
• W2340189834 hasRelatedWork W2994978805 @default.
• W2340189834 hasRelatedWork W3195029717 @default.

• next