Matches in SemOpenAlex for { <https://semopenalex.org/work/W2112916650> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2112916650 abstract "We observe that the termination of linear programs relies only on the initial value of program variables and the iteration count. Based on such observation, we present a constructive approach to determine the termination of linear programs. Through our approach, we can also synthesis the termination condition of linear programs if they do not terminate on all inputs, and correct termination defect." @default.
- W2112916650 created "2016-06-24" @default.
- W2112916650 creator A5035681011 @default.
- W2112916650 creator A5083358536 @default.
- W2112916650 date "2009-01-01" @default.
- W2112916650 modified "2023-09-28" @default.
- W2112916650 title "Termination Analysis of Linear Loop Programs" @default.
- W2112916650 cites W1505135855 @default.
- W2112916650 cites W1506815291 @default.
- W2112916650 cites W1541144457 @default.
- W2112916650 cites W1553372930 @default.
- W2112916650 cites W1561261246 @default.
- W2112916650 cites W1575647584 @default.
- W2112916650 cites W1593745409 @default.
- W2112916650 cites W1597204268 @default.
- W2112916650 cites W1608799719 @default.
- W2112916650 cites W2121365859 @default.
- W2112916650 cites W2293708017 @default.
- W2112916650 doi "https://doi.org/10.1109/icicta.2009.877" @default.
- W2112916650 hasPublicationYear "2009" @default.
- W2112916650 type Work @default.
- W2112916650 sameAs 2112916650 @default.
- W2112916650 citedByCount "0" @default.
- W2112916650 crossrefType "proceedings-article" @default.
- W2112916650 hasAuthorship W2112916650A5035681011 @default.
- W2112916650 hasAuthorship W2112916650A5083358536 @default.
- W2112916650 hasConcept C11413529 @default.
- W2112916650 hasConcept C114614502 @default.
- W2112916650 hasConcept C119857082 @default.
- W2112916650 hasConcept C126255220 @default.
- W2112916650 hasConcept C134306372 @default.
- W2112916650 hasConcept C154945302 @default.
- W2112916650 hasConcept C184670325 @default.
- W2112916650 hasConcept C199360897 @default.
- W2112916650 hasConcept C2775924081 @default.
- W2112916650 hasConcept C2776291640 @default.
- W2112916650 hasConcept C2778701210 @default.
- W2112916650 hasConcept C33923547 @default.
- W2112916650 hasConcept C41008148 @default.
- W2112916650 hasConcept C41045048 @default.
- W2112916650 hasConcept C47446073 @default.
- W2112916650 hasConcept C6802819 @default.
- W2112916650 hasConcept C98045186 @default.
- W2112916650 hasConceptScore W2112916650C11413529 @default.
- W2112916650 hasConceptScore W2112916650C114614502 @default.
- W2112916650 hasConceptScore W2112916650C119857082 @default.
- W2112916650 hasConceptScore W2112916650C126255220 @default.
- W2112916650 hasConceptScore W2112916650C134306372 @default.
- W2112916650 hasConceptScore W2112916650C154945302 @default.
- W2112916650 hasConceptScore W2112916650C184670325 @default.
- W2112916650 hasConceptScore W2112916650C199360897 @default.
- W2112916650 hasConceptScore W2112916650C2775924081 @default.
- W2112916650 hasConceptScore W2112916650C2776291640 @default.
- W2112916650 hasConceptScore W2112916650C2778701210 @default.
- W2112916650 hasConceptScore W2112916650C33923547 @default.
- W2112916650 hasConceptScore W2112916650C41008148 @default.
- W2112916650 hasConceptScore W2112916650C41045048 @default.
- W2112916650 hasConceptScore W2112916650C47446073 @default.
- W2112916650 hasConceptScore W2112916650C6802819 @default.
- W2112916650 hasConceptScore W2112916650C98045186 @default.
- W2112916650 hasLocation W21129166501 @default.
- W2112916650 hasOpenAccess W2112916650 @default.
- W2112916650 hasPrimaryLocation W21129166501 @default.
- W2112916650 hasRelatedWork W1485994731 @default.
- W2112916650 hasRelatedWork W1552138200 @default.
- W2112916650 hasRelatedWork W1575546064 @default.
- W2112916650 hasRelatedWork W1588685584 @default.
- W2112916650 hasRelatedWork W1769196389 @default.
- W2112916650 hasRelatedWork W1772022673 @default.
- W2112916650 hasRelatedWork W1780742584 @default.
- W2112916650 hasRelatedWork W1814719004 @default.
- W2112916650 hasRelatedWork W2004754421 @default.
- W2112916650 hasRelatedWork W2034471164 @default.
- W2112916650 hasRelatedWork W2065621886 @default.
- W2112916650 hasRelatedWork W2096096565 @default.
- W2112916650 hasRelatedWork W2106180000 @default.
- W2112916650 hasRelatedWork W2110820023 @default.
- W2112916650 hasRelatedWork W2136242294 @default.
- W2112916650 hasRelatedWork W2143645917 @default.
- W2112916650 hasRelatedWork W2145927340 @default.
- W2112916650 hasRelatedWork W2172251555 @default.
- W2112916650 hasRelatedWork W2342463686 @default.
- W2112916650 hasRelatedWork W2357220545 @default.
- W2112916650 isParatext "false" @default.
- W2112916650 isRetracted "false" @default.
- W2112916650 magId "2112916650" @default.
- W2112916650 workType "article" @default.