FRINK Linked Data Fragments server

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

• W82173707 startingPage "31" @default.
• W82173707 abstract "A standard method for proving the termination of a flowchart program is to exhibit a ranking function, i.e., a function from the program states to a well-founded set, which strictly decreases at each program step. Our main contribution is to give an efficient algorithm for the automatic generation of multi-dimensional affine nonnegative ranking functions, a restricted class of ranking functions that can be handled with linear programming techniques. Our algorithm is based on the combination of the generation of invariants (a technique from abstract interpretation) and on an adaptation of multi-dimensional affine scheduling (a technique from automatic parallelization). We also prove the completeness of our technique with respect to its input and the class of rankings we consider. Finally, as a byproduct, by computing the cardinal of the range of the ranking function, we obtain an upper bound for the computational complexity of the source program, which does not depend on restrictions on the shape of loops or on program structure. This estimate is a polynomial, which means that we can handle programs with more than linear complexity. The method is tested on a large collection of test cases from the literature. We also point out future improvements to handle larger programs." @default.
• W82173707 created "2016-06-24" @default.
• W82173707 creator A5010785753 @default.
• W82173707 creator A5058222450 @default.
• W82173707 creator A5059186408 @default.
• W82173707 creator A5067530778 @default.
• W82173707 creator A5083614267 @default.
• W82173707 date "2009-01-01" @default.
• W82173707 modified "2023-09-26" @default.
• W82173707 title "Program Termination and Worst Time Complexity with Multi-Dimensional Affine Ranking Functions" @default.
• W82173707 cites W1505135855 @default.
• W82173707 cites W1514857085 @default.
• W82173707 cites W1530375435 @default.
• W82173707 cites W1533186609 @default.
• W82173707 cites W1535302738 @default.
• W82173707 cites W1551844364 @default.
• W82173707 cites W1585194019 @default.
• W82173707 cites W1593745409 @default.
• W82173707 cites W1597829367 @default.
• W82173707 cites W1608799719 @default.
• W82173707 cites W1726736548 @default.
• W82173707 cites W1963547452 @default.
• W82173707 cites W1963741373 @default.
• W82173707 cites W1971490640 @default.
• W82173707 cites W1983427062 @default.
• W82173707 cites W199049734 @default.
• W82173707 cites W1993129359 @default.
• W82173707 cites W2002252837 @default.
• W82173707 cites W2016079448 @default.
• W82173707 cites W2029165396 @default.
• W82173707 cites W2043100293 @default.
• W82173707 cites W2092019763 @default.
• W82173707 cites W2093424728 @default.
• W82173707 cites W2097944031 @default.
• W82173707 cites W2109863363 @default.
• W82173707 cites W2121365859 @default.
• W82173707 cites W2128467905 @default.
• W82173707 cites W2132661148 @default.
• W82173707 cites W2135021832 @default.
• W82173707 cites W2136333450 @default.
• W82173707 cites W2147543317 @default.
• W82173707 cites W2155488254 @default.
• W82173707 cites W2159756689 @default.
• W82173707 cites W2293708017 @default.
• W82173707 cites W2914979212 @default.
• W82173707 cites W59456976 @default.
• W82173707 cites W2689701569 @default.
• W82173707 hasPublicationYear "2009" @default.
• W82173707 type Work @default.
• W82173707 sameAs 82173707 @default.
• W82173707 citedByCount "1" @default.
• W82173707 crossrefType "journal-article" @default.
• W82173707 hasAuthorship W82173707A5010785753 @default.
• W82173707 hasAuthorship W82173707A5058222450 @default.
• W82173707 hasAuthorship W82173707A5059186408 @default.
• W82173707 hasAuthorship W82173707A5067530778 @default.
• W82173707 hasAuthorship W82173707A5083614267 @default.
• W82173707 hasConcept C11413529 @default.
• W82173707 hasConcept C154945302 @default.
• W82173707 hasConcept C189430467 @default.
• W82173707 hasConcept C199360897 @default.
• W82173707 hasConcept C202444582 @default.
• W82173707 hasConcept C2780654840 @default.
• W82173707 hasConcept C311688 @default.
• W82173707 hasConcept C33923547 @default.
• W82173707 hasConcept C41008148 @default.
• W82173707 hasConcept C41045048 @default.
• W82173707 hasConcept C72041958 @default.
• W82173707 hasConcept C80444323 @default.
• W82173707 hasConcept C92757383 @default.
• W82173707 hasConcept C98183937 @default.
• W82173707 hasConceptScore W82173707C11413529 @default.
• W82173707 hasConceptScore W82173707C154945302 @default.
• W82173707 hasConceptScore W82173707C189430467 @default.
• W82173707 hasConceptScore W82173707C199360897 @default.
• W82173707 hasConceptScore W82173707C202444582 @default.
• W82173707 hasConceptScore W82173707C2780654840 @default.
• W82173707 hasConceptScore W82173707C311688 @default.
• W82173707 hasConceptScore W82173707C33923547 @default.
• W82173707 hasConceptScore W82173707C41008148 @default.
• W82173707 hasConceptScore W82173707C41045048 @default.
• W82173707 hasConceptScore W82173707C72041958 @default.
• W82173707 hasConceptScore W82173707C80444323 @default.
• W82173707 hasConceptScore W82173707C92757383 @default.
• W82173707 hasConceptScore W82173707C98183937 @default.
• W82173707 hasLocation W821737071 @default.
• W82173707 hasOpenAccess W82173707 @default.
• W82173707 hasPrimaryLocation W821737071 @default.
• W82173707 hasRelatedWork W115839209 @default.
• W82173707 hasRelatedWork W2207672057 @default.
• W82173707 hasRelatedWork W2210657914 @default.
• W82173707 hasRelatedWork W2267401957 @default.
• W82173707 hasRelatedWork W2272187670 @default.
• W82173707 hasRelatedWork W2295037001 @default.
• W82173707 hasRelatedWork W2300000356 @default.
• W82173707 hasRelatedWork W2517422952 @default.
• W82173707 hasRelatedWork W2577270548 @default.
• W82173707 hasRelatedWork W2773043772 @default.
• W82173707 hasRelatedWork W2907303449 @default.

• next