FRINK Linked Data Fragments server

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

• W972005659 startingPage "32" @default.
• W972005659 abstract "Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a well-founded set, which strictly decreases at each program step. A standard method to automatically generate such a function is to compute invariants for each program point and to search for a ranking in a restricted class of functions that can be handled with linear programming techniques. Our first contribution is to propose an efficient algorithm to compute ranking functions: It can handle flowcharts of arbitrary structure, the class of candidate rankings it explores is larger, and our method, although greedy, is provably complete. Our second contribution is to show how to use the ranking functions we generate to get upper bounds for the computational complexity (number of transitions) of the source program, again for flowcharts of arbitrary structure. This estimate is a polynomial, which means that we can handle programs with more than linear complexity. We applied the method on a collection of test cases from the literature. We also point out important extensions, mainly to do with the scalability of the algorithm and, in particular, the integration of techniques based on cutpoints." @default.
• W972005659 created "2016-06-24" @default.
• W972005659 creator A5010785753 @default.
• W972005659 creator A5058222450 @default.
• W972005659 creator A5059186408 @default.
• W972005659 creator A5083614267 @default.
• W972005659 date "2010-03-16" @default.
• W972005659 modified "2023-09-24" @default.
• W972005659 title "Bounding the Computational Complexity of Flowchart Programs with Multi-dimensional Rankings" @default.
• W972005659 cites W1505135855 @default.
• W972005659 cites W1514857085 @default.
• W972005659 cites W1530375435 @default.
• W972005659 cites W1535302738 @default.
• W972005659 cites W1585194019 @default.
• W972005659 cites W1593745409 @default.
• W972005659 cites W1597829367 @default.
• W972005659 cites W1608799719 @default.
• W972005659 cites W1726736548 @default.
• W972005659 cites W1963547452 @default.
• W972005659 cites W1970141743 @default.
• W972005659 cites W1983427062 @default.
• W972005659 cites W1993129359 @default.
• W972005659 cites W2002252837 @default.
• W972005659 cites W2016079448 @default.
• W972005659 cites W2092019763 @default.
• W972005659 cites W2093424728 @default.
• W972005659 cites W2097944031 @default.
• W972005659 cites W2109863363 @default.
• W972005659 cites W2121365859 @default.
• W972005659 cites W2132661148 @default.
• W972005659 cites W2135021832 @default.
• W972005659 cites W2136333450 @default.
• W972005659 cites W2147543317 @default.
• W972005659 cites W2155488254 @default.
• W972005659 cites W2159756689 @default.
• W972005659 cites W2293708017 @default.
• W972005659 cites W2914979212 @default.
• W972005659 cites W82173707 @default.
• W972005659 cites W2689701569 @default.
• W972005659 hasPublicationYear "2010" @default.
• W972005659 type Work @default.
• W972005659 sameAs 972005659 @default.
• W972005659 citedByCount "0" @default.
• W972005659 crossrefType "journal-article" @default.
• W972005659 hasAuthorship W972005659A5010785753 @default.
• W972005659 hasAuthorship W972005659A5058222450 @default.
• W972005659 hasAuthorship W972005659A5059186408 @default.
• W972005659 hasAuthorship W972005659A5083614267 @default.
• W972005659 hasConcept C11413529 @default.
• W972005659 hasConcept C14036430 @default.
• W972005659 hasConcept C154945302 @default.
• W972005659 hasConcept C177264268 @default.
• W972005659 hasConcept C179799912 @default.
• W972005659 hasConcept C189430467 @default.
• W972005659 hasConcept C199360897 @default.
• W972005659 hasConcept C2524010 @default.
• W972005659 hasConcept C2777212361 @default.
• W972005659 hasConcept C28719098 @default.
• W972005659 hasConcept C311688 @default.
• W972005659 hasConcept C33923547 @default.
• W972005659 hasConcept C41008148 @default.
• W972005659 hasConcept C41045048 @default.
• W972005659 hasConcept C48044578 @default.
• W972005659 hasConcept C72041958 @default.
• W972005659 hasConcept C77088390 @default.
• W972005659 hasConcept C78458016 @default.
• W972005659 hasConcept C80444323 @default.
• W972005659 hasConcept C86803240 @default.
• W972005659 hasConcept C98183937 @default.
• W972005659 hasConceptScore W972005659C11413529 @default.
• W972005659 hasConceptScore W972005659C14036430 @default.
• W972005659 hasConceptScore W972005659C154945302 @default.
• W972005659 hasConceptScore W972005659C177264268 @default.
• W972005659 hasConceptScore W972005659C179799912 @default.
• W972005659 hasConceptScore W972005659C189430467 @default.
• W972005659 hasConceptScore W972005659C199360897 @default.
• W972005659 hasConceptScore W972005659C2524010 @default.
• W972005659 hasConceptScore W972005659C2777212361 @default.
• W972005659 hasConceptScore W972005659C28719098 @default.
• W972005659 hasConceptScore W972005659C311688 @default.
• W972005659 hasConceptScore W972005659C33923547 @default.
• W972005659 hasConceptScore W972005659C41008148 @default.
• W972005659 hasConceptScore W972005659C41045048 @default.
• W972005659 hasConceptScore W972005659C48044578 @default.
• W972005659 hasConceptScore W972005659C72041958 @default.
• W972005659 hasConceptScore W972005659C77088390 @default.
• W972005659 hasConceptScore W972005659C78458016 @default.
• W972005659 hasConceptScore W972005659C80444323 @default.
• W972005659 hasConceptScore W972005659C86803240 @default.
• W972005659 hasConceptScore W972005659C98183937 @default.
• W972005659 hasLocation W9720056591 @default.
• W972005659 hasOpenAccess W972005659 @default.
• W972005659 hasPrimaryLocation W9720056591 @default.
• W972005659 hasRelatedWork W110849379 @default.
• W972005659 hasRelatedWork W115593648 @default.
• W972005659 hasRelatedWork W138544189 @default.
• W972005659 hasRelatedWork W1636902686 @default.
• W972005659 hasRelatedWork W185173282 @default.
• W972005659 hasRelatedWork W2417628481 @default.

• next