Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099949759> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2099949759 abstract "We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing for each variable in the cone-of-influence of the loop's termination condition. The analysis allows us to automatically prove the termination of loops that cannot be handled using previous techniques. The paper closes with experimental results using short examples drawn from industrial code." @default.
- W2099949759 created "2016-06-24" @default.
- W2099949759 creator A5000765311 @default.
- W2099949759 creator A5021217615 @default.
- W2099949759 creator A5050411743 @default.
- W2099949759 date "2007-09-01" @default.
- W2099949759 modified "2023-09-26" @default.
- W2099949759 title "Proving Termination by Divergence." @default.
- W2099949759 cites W1503537039 @default.
- W2099949759 cites W1521232193 @default.
- W2099949759 cites W1530375435 @default.
- W2099949759 cites W1575647584 @default.
- W2099949759 cites W1584357601 @default.
- W2099949759 cites W1593745409 @default.
- W2099949759 cites W1993129359 @default.
- W2099949759 cites W1996679397 @default.
- W2099949759 cites W2043100293 @default.
- W2099949759 cites W2141040012 @default.
- W2099949759 cites W2987907651 @default.
- W2099949759 cites W4232668957 @default.
- W2099949759 cites W4241086578 @default.
- W2099949759 cites W4251912342 @default.
- W2099949759 doi "https://doi.org/10.1109/sefm.2007.32" @default.
- W2099949759 hasPublicationYear "2007" @default.
- W2099949759 type Work @default.
- W2099949759 sameAs 2099949759 @default.
- W2099949759 citedByCount "12" @default.
- W2099949759 countsByYear W20999497592012 @default.
- W2099949759 countsByYear W20999497592013 @default.
- W2099949759 countsByYear W20999497592014 @default.
- W2099949759 countsByYear W20999497592018 @default.
- W2099949759 countsByYear W20999497592020 @default.
- W2099949759 countsByYear W20999497592021 @default.
- W2099949759 crossrefType "proceedings-article" @default.
- W2099949759 hasAuthorship W2099949759A5000765311 @default.
- W2099949759 hasAuthorship W2099949759A5021217615 @default.
- W2099949759 hasAuthorship W2099949759A5050411743 @default.
- W2099949759 hasBestOaLocation W20999497592 @default.
- W2099949759 hasConcept C111472728 @default.
- W2099949759 hasConcept C11413529 @default.
- W2099949759 hasConcept C114614502 @default.
- W2099949759 hasConcept C121332964 @default.
- W2099949759 hasConcept C134306372 @default.
- W2099949759 hasConcept C138885662 @default.
- W2099949759 hasConcept C154945302 @default.
- W2099949759 hasConcept C158622935 @default.
- W2099949759 hasConcept C177264268 @default.
- W2099949759 hasConcept C182365436 @default.
- W2099949759 hasConcept C184670325 @default.
- W2099949759 hasConcept C199360897 @default.
- W2099949759 hasConcept C207390915 @default.
- W2099949759 hasConcept C2776760102 @default.
- W2099949759 hasConcept C2777212361 @default.
- W2099949759 hasConcept C2780586882 @default.
- W2099949759 hasConcept C33923547 @default.
- W2099949759 hasConcept C41008148 @default.
- W2099949759 hasConcept C41895202 @default.
- W2099949759 hasConcept C62520636 @default.
- W2099949759 hasConcept C80444323 @default.
- W2099949759 hasConceptScore W2099949759C111472728 @default.
- W2099949759 hasConceptScore W2099949759C11413529 @default.
- W2099949759 hasConceptScore W2099949759C114614502 @default.
- W2099949759 hasConceptScore W2099949759C121332964 @default.
- W2099949759 hasConceptScore W2099949759C134306372 @default.
- W2099949759 hasConceptScore W2099949759C138885662 @default.
- W2099949759 hasConceptScore W2099949759C154945302 @default.
- W2099949759 hasConceptScore W2099949759C158622935 @default.
- W2099949759 hasConceptScore W2099949759C177264268 @default.
- W2099949759 hasConceptScore W2099949759C182365436 @default.
- W2099949759 hasConceptScore W2099949759C184670325 @default.
- W2099949759 hasConceptScore W2099949759C199360897 @default.
- W2099949759 hasConceptScore W2099949759C207390915 @default.
- W2099949759 hasConceptScore W2099949759C2776760102 @default.
- W2099949759 hasConceptScore W2099949759C2777212361 @default.
- W2099949759 hasConceptScore W2099949759C2780586882 @default.
- W2099949759 hasConceptScore W2099949759C33923547 @default.
- W2099949759 hasConceptScore W2099949759C41008148 @default.
- W2099949759 hasConceptScore W2099949759C41895202 @default.
- W2099949759 hasConceptScore W2099949759C62520636 @default.
- W2099949759 hasConceptScore W2099949759C80444323 @default.
- W2099949759 hasLocation W20999497591 @default.
- W2099949759 hasLocation W20999497592 @default.
- W2099949759 hasOpenAccess W2099949759 @default.
- W2099949759 hasPrimaryLocation W20999497591 @default.
- W2099949759 hasRelatedWork W187846026 @default.
- W2099949759 hasRelatedWork W1887191277 @default.
- W2099949759 hasRelatedWork W1984896661 @default.
- W2099949759 hasRelatedWork W2046577163 @default.
- W2099949759 hasRelatedWork W2329865134 @default.
- W2099949759 hasRelatedWork W2334954212 @default.
- W2099949759 hasRelatedWork W2776018879 @default.
- W2099949759 hasRelatedWork W2964285269 @default.
- W2099949759 hasRelatedWork W4235288607 @default.
- W2099949759 hasRelatedWork W4248389398 @default.
- W2099949759 isParatext "false" @default.
- W2099949759 isRetracted "false" @default.
- W2099949759 magId "2099949759" @default.
- W2099949759 workType "article" @default.