FRINK Linked Data Fragments server

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

• W2113318176 endingPage "360" @default.
• W2113318176 startingPage "339" @default.
• W2113318176 abstract "The paper presents a knowledge-based analysis approach that generates first order predicate logic annotations of loops. A classification of loops according to their complexity levels is presented. Based on this taxonomy, variations on the basic analysis approach that best fit each of the different classes are described. In general, mechanical annotation of loops is performed by first decomposing them using data flow analysis. This decomposition encapsulates closely related statements in events, that can be analyzed individually. Specifications of the resulting loop events are then obtained by utilizing patterns, called plans, stored in a knowledge base. Finally, a consistent and rigorous functional abstraction of the whole loop is synthesized from the specifications of its individual events. To test the analysis techniques and to assess their effectiveness, a case study was performed on an existing program of reasonable size. Results concerning the analyzed loops and the plans designed for them are given." @default.
• W2113318176 created "2016-06-24" @default.
• W2113318176 creator A5011045475 @default.
• W2113318176 creator A5043112678 @default.
• W2113318176 date "1996-05-01" @default.
• W2113318176 modified "2023-10-16" @default.
• W2113318176 title "A knowledge-based approach to the analysis of loops" @default.
• W2113318176 cites W1636146262 @default.
• W2113318176 cites W1641983456 @default.
• W2113318176 cites W1975068738 @default.
• W2113318176 cites W1978367838 @default.
• W2113318176 cites W1983520997 @default.
• W2113318176 cites W2007798926 @default.
• W2113318176 cites W2033750216 @default.
• W2113318176 cites W2046585568 @default.
• W2113318176 cites W2048168398 @default.
• W2113318176 cites W2051113166 @default.
• W2113318176 cites W2051669404 @default.
• W2113318176 cites W2075913776 @default.
• W2113318176 cites W2080011400 @default.
• W2113318176 cites W2090278452 @default.
• W2113318176 cites W2094187620 @default.
• W2113318176 cites W2098566665 @default.
• W2113318176 cites W2105920552 @default.
• W2113318176 cites W2107419340 @default.
• W2113318176 cites W2114409733 @default.
• W2113318176 cites W2116661463 @default.
• W2113318176 cites W2117591735 @default.
• W2113318176 cites W2131361093 @default.
• W2113318176 cites W2132282446 @default.
• W2113318176 cites W2133247167 @default.
• W2113318176 cites W2134630546 @default.
• W2113318176 cites W2135024913 @default.
• W2113318176 cites W2138432297 @default.
• W2113318176 cites W2144777505 @default.
• W2113318176 cites W2147067733 @default.
• W2113318176 cites W2147543351 @default.
• W2113318176 cites W2162611322 @default.
• W2113318176 cites W2166153683 @default.
• W2113318176 cites W2987907651 @default.
• W2113318176 cites W3022604996 @default.
• W2113318176 cites W4239583288 @default.
• W2113318176 cites W4300584183 @default.
• W2113318176 cites W52272913 @default.
• W2113318176 doi "https://doi.org/10.1109/32.502226" @default.
• W2113318176 hasPublicationYear "1996" @default.
• W2113318176 type Work @default.
• W2113318176 sameAs 2113318176 @default.
• W2113318176 citedByCount "37" @default.
• W2113318176 countsByYear W21133181762012 @default.
• W2113318176 countsByYear W21133181762013 @default.
• W2113318176 countsByYear W21133181762015 @default.
• W2113318176 countsByYear W21133181762019 @default.
• W2113318176 crossrefType "journal-article" @default.
• W2113318176 hasAuthorship W2113318176A5011045475 @default.
• W2113318176 hasAuthorship W2113318176A5043112678 @default.
• W2113318176 hasBestOaLocation W21133181762 @default.
• W2113318176 hasConcept C100481476 @default.
• W2113318176 hasConcept C110251889 @default.
• W2113318176 hasConcept C111472728 @default.
• W2113318176 hasConcept C11413529 @default.
• W2113318176 hasConcept C114614502 @default.
• W2113318176 hasConcept C124101348 @default.
• W2113318176 hasConcept C124304363 @default.
• W2113318176 hasConcept C138885662 @default.
• W2113318176 hasConcept C140146324 @default.
• W2113318176 hasConcept C154945302 @default.
• W2113318176 hasConcept C160191386 @default.
• W2113318176 hasConcept C184670325 @default.
• W2113318176 hasConcept C199360897 @default.
• W2113318176 hasConcept C2776321320 @default.
• W2113318176 hasConcept C2779907942 @default.
• W2113318176 hasConcept C33923547 @default.
• W2113318176 hasConcept C41008148 @default.
• W2113318176 hasConcept C4554734 @default.
• W2113318176 hasConcept C489000 @default.
• W2113318176 hasConcept C77088390 @default.
• W2113318176 hasConcept C80444323 @default.
• W2113318176 hasConcept C98183937 @default.
• W2113318176 hasConceptScore W2113318176C100481476 @default.
• W2113318176 hasConceptScore W2113318176C110251889 @default.
• W2113318176 hasConceptScore W2113318176C111472728 @default.
• W2113318176 hasConceptScore W2113318176C11413529 @default.
• W2113318176 hasConceptScore W2113318176C114614502 @default.
• W2113318176 hasConceptScore W2113318176C124101348 @default.
• W2113318176 hasConceptScore W2113318176C124304363 @default.
• W2113318176 hasConceptScore W2113318176C138885662 @default.
• W2113318176 hasConceptScore W2113318176C140146324 @default.
• W2113318176 hasConceptScore W2113318176C154945302 @default.
• W2113318176 hasConceptScore W2113318176C160191386 @default.
• W2113318176 hasConceptScore W2113318176C184670325 @default.
• W2113318176 hasConceptScore W2113318176C199360897 @default.
• W2113318176 hasConceptScore W2113318176C2776321320 @default.
• W2113318176 hasConceptScore W2113318176C2779907942 @default.
• W2113318176 hasConceptScore W2113318176C33923547 @default.
• W2113318176 hasConceptScore W2113318176C41008148 @default.
• W2113318176 hasConceptScore W2113318176C4554734 @default.
• W2113318176 hasConceptScore W2113318176C489000 @default.

• next