Matches in SemOpenAlex for { <https://semopenalex.org/work/W3118742020> ?p ?o ?g. }
- W3118742020 endingPage "112" @default.
- W3118742020 startingPage "89" @default.
- W3118742020 abstract "We consider the termination problem for triangular weakly non-linear loops (twn-loops) over some ring $$mathcal {S}$$ like $$mathbb {Z}$$ , $$mathbb {Q}$$ , or $$mathbb {R}$$ . Essentially, the guard of such a loop is an arbitrary Boolean formula over (possibly non-linear) polynomial inequations, and the body is a single assignment where each $$x_i$$ is a variable, $$c_i in mathcal {S}$$ , and each $$p_i$$ is a (possibly non-linear) polynomial over $$mathcal {S}$$ and the variables $$x_{i+1},ldots ,x_{d}$$ . We present a reduction from the question of termination to the existential fragment of the first-order theory of $$mathcal {S}$$ and $$mathbb {R}$$ . For loops over $$mathbb {R}$$ , our reduction entails decidability of termination. For loops over $$mathbb {Z}$$ and $$mathbb {Q}$$ , it proves semi-decidability of non-termination. Furthermore, we present a transformation to convert certain non-twn-loops into twn-form. Then the original loop terminates iff the transformed loop terminates over a specific subset of $$mathbb {R}$$ , which can also be checked via our reduction. This transformation also allows us to prove tight complexity bounds for the termination problem for two important classes of loops which can always be transformed into twn-loops." @default.
- W3118742020 created "2021-01-18" @default.
- W3118742020 creator A5025232172 @default.
- W3118742020 creator A5062262101 @default.
- W3118742020 creator A5087390223 @default.
- W3118742020 date "2020-01-01" @default.
- W3118742020 modified "2023-09-30" @default.
- W3118742020 title "Termination of Polynomial Loops" @default.
- W3118742020 cites W146333850 @default.
- W3118742020 cites W1486787620 @default.
- W3118742020 cites W1496468608 @default.
- W3118742020 cites W1525126490 @default.
- W3118742020 cites W1530375435 @default.
- W3118742020 cites W1541144457 @default.
- W3118742020 cites W1553142094 @default.
- W3118742020 cites W1561261246 @default.
- W3118742020 cites W1575647584 @default.
- W3118742020 cites W1585981132 @default.
- W3118742020 cites W188927585 @default.
- W3118742020 cites W1967845657 @default.
- W3118742020 cites W1968909252 @default.
- W3118742020 cites W1971043610 @default.
- W3118742020 cites W1976104755 @default.
- W3118742020 cites W1989813138 @default.
- W3118742020 cites W1991813962 @default.
- W3118742020 cites W1997553387 @default.
- W3118742020 cites W2015376829 @default.
- W3118742020 cites W2017112612 @default.
- W3118742020 cites W2059754119 @default.
- W3118742020 cites W2070516739 @default.
- W3118742020 cites W2086095242 @default.
- W3118742020 cites W2099755197 @default.
- W3118742020 cites W2118025397 @default.
- W3118742020 cites W2131662609 @default.
- W3118742020 cites W2139480317 @default.
- W3118742020 cites W2301555989 @default.
- W3118742020 cites W2522017073 @default.
- W3118742020 cites W2523459130 @default.
- W3118742020 cites W2533836568 @default.
- W3118742020 cites W2549200807 @default.
- W3118742020 cites W2605065382 @default.
- W3118742020 cites W2765695716 @default.
- W3118742020 cites W2780276625 @default.
- W3118742020 cites W2781303448 @default.
- W3118742020 cites W2899568449 @default.
- W3118742020 cites W2935588095 @default.
- W3118742020 cites W2957046311 @default.
- W3118742020 cites W2963062860 @default.
- W3118742020 cites W2965601937 @default.
- W3118742020 cites W2981410213 @default.
- W3118742020 cites W3023362447 @default.
- W3118742020 cites W3032462713 @default.
- W3118742020 cites W3082301608 @default.
- W3118742020 cites W3102065507 @default.
- W3118742020 cites W3105212949 @default.
- W3118742020 cites W4243410516 @default.
- W3118742020 cites W4253289064 @default.
- W3118742020 cites W4255213956 @default.
- W3118742020 doi "https://doi.org/10.1007/978-3-030-65474-0_5" @default.
- W3118742020 hasPublicationYear "2020" @default.
- W3118742020 type Work @default.
- W3118742020 sameAs 3118742020 @default.
- W3118742020 citedByCount "6" @default.
- W3118742020 countsByYear W31187420202019 @default.
- W3118742020 countsByYear W31187420202020 @default.
- W3118742020 countsByYear W31187420202022 @default.
- W3118742020 countsByYear W31187420202023 @default.
- W3118742020 crossrefType "book-chapter" @default.
- W3118742020 hasAuthorship W3118742020A5025232172 @default.
- W3118742020 hasAuthorship W3118742020A5062262101 @default.
- W3118742020 hasAuthorship W3118742020A5087390223 @default.
- W3118742020 hasConcept C10138342 @default.
- W3118742020 hasConcept C111335779 @default.
- W3118742020 hasConcept C114614502 @default.
- W3118742020 hasConcept C118615104 @default.
- W3118742020 hasConcept C134306372 @default.
- W3118742020 hasConcept C153269930 @default.
- W3118742020 hasConcept C162324750 @default.
- W3118742020 hasConcept C182306322 @default.
- W3118742020 hasConcept C184670325 @default.
- W3118742020 hasConcept C2524010 @default.
- W3118742020 hasConcept C33923547 @default.
- W3118742020 hasConcept C90119067 @default.
- W3118742020 hasConceptScore W3118742020C10138342 @default.
- W3118742020 hasConceptScore W3118742020C111335779 @default.
- W3118742020 hasConceptScore W3118742020C114614502 @default.
- W3118742020 hasConceptScore W3118742020C118615104 @default.
- W3118742020 hasConceptScore W3118742020C134306372 @default.
- W3118742020 hasConceptScore W3118742020C153269930 @default.
- W3118742020 hasConceptScore W3118742020C162324750 @default.
- W3118742020 hasConceptScore W3118742020C182306322 @default.
- W3118742020 hasConceptScore W3118742020C184670325 @default.
- W3118742020 hasConceptScore W3118742020C2524010 @default.
- W3118742020 hasConceptScore W3118742020C33923547 @default.
- W3118742020 hasConceptScore W3118742020C90119067 @default.
- W3118742020 hasLocation W31187420201 @default.
- W3118742020 hasOpenAccess W3118742020 @default.
- W3118742020 hasPrimaryLocation W31187420201 @default.