Matches in SemOpenAlex for { <https://semopenalex.org/work/W2510847956> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2510847956 abstract "Termination of loops can be inferred from the existence of linear ranking functions. We already know that the existence of these functions is PTIME decidable for simple rational loops. Since very recently, we know that the problem is coNP-complete for simple integer loops. We continue along this path by investigating programs dealing with floating-point computations. First, we show that the problem is at least in coNP for simple floating-point loops. Then, in order to work around that theoretical limitation we present an algorithm which remains polynomial by sacrificing completeness. The algorithm, based on the Podelski-Rybalchenko algorithm, can also synthesize in polynomial time the linear ranking functions it detects. To our knowledge, our work is the first adaptation of this well-known algorithm to floating-points." @default.
- W2510847956 created "2016-09-16" @default.
- W2510847956 creator A5002144715 @default.
- W2510847956 creator A5063276563 @default.
- W2510847956 creator A5065256177 @default.
- W2510847956 date "2016-01-01" @default.
- W2510847956 modified "2023-09-24" @default.
- W2510847956 title "On the Linear Ranking Problem for Simple Floating-Point Loops" @default.
- W2510847956 cites W1530375435 @default.
- W2510847956 cites W1561261246 @default.
- W2510847956 cites W1575647584 @default.
- W2510847956 cites W1969213662 @default.
- W2510847956 cites W1970141743 @default.
- W2510847956 cites W1971872488 @default.
- W2510847956 cites W1983764301 @default.
- W2510847956 cites W2033040247 @default.
- W2510847956 cites W2038157046 @default.
- W2510847956 cites W2043100293 @default.
- W2510847956 cites W2071969326 @default.
- W2510847956 cites W2094997043 @default.
- W2510847956 cites W2095555925 @default.
- W2510847956 cites W2110820023 @default.
- W2510847956 cites W2120056071 @default.
- W2510847956 cites W2161089445 @default.
- W2510847956 cites W2169004268 @default.
- W2510847956 cites W2494794899 @default.
- W2510847956 cites W52189508 @default.
- W2510847956 doi "https://doi.org/10.1007/978-3-662-53413-7_15" @default.
- W2510847956 hasPublicationYear "2016" @default.
- W2510847956 type Work @default.
- W2510847956 sameAs 2510847956 @default.
- W2510847956 citedByCount "0" @default.
- W2510847956 crossrefType "book-chapter" @default.
- W2510847956 hasAuthorship W2510847956A5002144715 @default.
- W2510847956 hasAuthorship W2510847956A5063276563 @default.
- W2510847956 hasAuthorship W2510847956A5065256177 @default.
- W2510847956 hasBestOaLocation W25108479562 @default.
- W2510847956 hasConcept C111472728 @default.
- W2510847956 hasConcept C11413529 @default.
- W2510847956 hasConcept C126255220 @default.
- W2510847956 hasConcept C138885662 @default.
- W2510847956 hasConcept C154945302 @default.
- W2510847956 hasConcept C189430467 @default.
- W2510847956 hasConcept C2524010 @default.
- W2510847956 hasConcept C2780586882 @default.
- W2510847956 hasConcept C28719098 @default.
- W2510847956 hasConcept C33923547 @default.
- W2510847956 hasConcept C41008148 @default.
- W2510847956 hasConceptScore W2510847956C111472728 @default.
- W2510847956 hasConceptScore W2510847956C11413529 @default.
- W2510847956 hasConceptScore W2510847956C126255220 @default.
- W2510847956 hasConceptScore W2510847956C138885662 @default.
- W2510847956 hasConceptScore W2510847956C154945302 @default.
- W2510847956 hasConceptScore W2510847956C189430467 @default.
- W2510847956 hasConceptScore W2510847956C2524010 @default.
- W2510847956 hasConceptScore W2510847956C2780586882 @default.
- W2510847956 hasConceptScore W2510847956C28719098 @default.
- W2510847956 hasConceptScore W2510847956C33923547 @default.
- W2510847956 hasConceptScore W2510847956C41008148 @default.
- W2510847956 hasLocation W25108479561 @default.
- W2510847956 hasLocation W25108479562 @default.
- W2510847956 hasLocation W25108479563 @default.
- W2510847956 hasOpenAccess W2510847956 @default.
- W2510847956 hasPrimaryLocation W25108479561 @default.
- W2510847956 hasRelatedWork W1742055567 @default.
- W2510847956 hasRelatedWork W1987200985 @default.
- W2510847956 hasRelatedWork W1998054348 @default.
- W2510847956 hasRelatedWork W2329791227 @default.
- W2510847956 hasRelatedWork W2365154038 @default.
- W2510847956 hasRelatedWork W2386767533 @default.
- W2510847956 hasRelatedWork W2463532758 @default.
- W2510847956 hasRelatedWork W2784207660 @default.
- W2510847956 hasRelatedWork W4225420309 @default.
- W2510847956 hasRelatedWork W4238075012 @default.
- W2510847956 isParatext "false" @default.
- W2510847956 isRetracted "false" @default.
- W2510847956 magId "2510847956" @default.
- W2510847956 workType "book-chapter" @default.