Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106442671> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2106442671 endingPage "1522" @default.
- W2106442671 startingPage "1519" @default.
- W2106442671 abstract "Proving program termination plays an important role in ensuring reliability of software systems. Many researchers have lent much attention to this open long-standing problem, most of them were interested in proving that iterative programs terminate under a given input. In this paper, we present a method to solve a more interesting and challenging problem, namely, the generation of the termination condition of while loops i.e. condition over initial states under which a loop terminates normally. To this effect, we use a concept introduced by Mili et al., viz. invariant relation." @default.
- W2106442671 created "2016-06-24" @default.
- W2106442671 creator A5038251001 @default.
- W2106442671 date "2012-06-02" @default.
- W2106442671 modified "2023-09-26" @default.
- W2106442671 title "Using invariant relations in the termination analysis of while loops" @default.
- W2106442671 cites W1500350535 @default.
- W2106442671 cites W1503406871 @default.
- W2106442671 cites W1530375435 @default.
- W2106442671 cites W1593745409 @default.
- W2106442671 cites W1819610226 @default.
- W2106442671 cites W1925379677 @default.
- W2106442671 cites W1967441757 @default.
- W2106442671 cites W1989813138 @default.
- W2106442671 cites W2012152371 @default.
- W2106442671 cites W2049413589 @default.
- W2106442671 cites W2096096565 @default.
- W2106442671 cites W2097284057 @default.
- W2106442671 cites W2098022036 @default.
- W2106442671 cites W2121365859 @default.
- W2106442671 cites W2124909257 @default.
- W2106442671 cites W2126160338 @default.
- W2106442671 cites W2268835175 @default.
- W2106442671 doi "https://doi.org/10.5555/2337223.2337471" @default.
- W2106442671 hasPublicationYear "2012" @default.
- W2106442671 type Work @default.
- W2106442671 sameAs 2106442671 @default.
- W2106442671 citedByCount "2" @default.
- W2106442671 countsByYear W21064426712015 @default.
- W2106442671 countsByYear W21064426712019 @default.
- W2106442671 crossrefType "proceedings-article" @default.
- W2106442671 hasAuthorship W2106442671A5038251001 @default.
- W2106442671 hasConcept C11413529 @default.
- W2106442671 hasConcept C121332964 @default.
- W2106442671 hasConcept C124101348 @default.
- W2106442671 hasConcept C163258240 @default.
- W2106442671 hasConcept C190470478 @default.
- W2106442671 hasConcept C199360897 @default.
- W2106442671 hasConcept C25343380 @default.
- W2106442671 hasConcept C2777904410 @default.
- W2106442671 hasConcept C33923547 @default.
- W2106442671 hasConcept C37914503 @default.
- W2106442671 hasConcept C41008148 @default.
- W2106442671 hasConcept C43214815 @default.
- W2106442671 hasConcept C62520636 @default.
- W2106442671 hasConcept C80444323 @default.
- W2106442671 hasConceptScore W2106442671C11413529 @default.
- W2106442671 hasConceptScore W2106442671C121332964 @default.
- W2106442671 hasConceptScore W2106442671C124101348 @default.
- W2106442671 hasConceptScore W2106442671C163258240 @default.
- W2106442671 hasConceptScore W2106442671C190470478 @default.
- W2106442671 hasConceptScore W2106442671C199360897 @default.
- W2106442671 hasConceptScore W2106442671C25343380 @default.
- W2106442671 hasConceptScore W2106442671C2777904410 @default.
- W2106442671 hasConceptScore W2106442671C33923547 @default.
- W2106442671 hasConceptScore W2106442671C37914503 @default.
- W2106442671 hasConceptScore W2106442671C41008148 @default.
- W2106442671 hasConceptScore W2106442671C43214815 @default.
- W2106442671 hasConceptScore W2106442671C62520636 @default.
- W2106442671 hasConceptScore W2106442671C80444323 @default.
- W2106442671 hasLocation W21064426711 @default.
- W2106442671 hasOpenAccess W2106442671 @default.
- W2106442671 hasPrimaryLocation W21064426711 @default.
- W2106442671 hasRelatedWork W1588685584 @default.
- W2106442671 hasRelatedWork W1705829753 @default.
- W2106442671 hasRelatedWork W1769196389 @default.
- W2106442671 hasRelatedWork W1780742584 @default.
- W2106442671 hasRelatedWork W178702431 @default.
- W2106442671 hasRelatedWork W2004754421 @default.
- W2106442671 hasRelatedWork W2034471164 @default.
- W2106442671 hasRelatedWork W2106180000 @default.
- W2106442671 hasRelatedWork W2110820023 @default.
- W2106442671 hasRelatedWork W2145927340 @default.
- W2106442671 hasRelatedWork W2156634602 @default.
- W2106442671 hasRelatedWork W2172251555 @default.
- W2106442671 hasRelatedWork W2179681377 @default.
- W2106442671 hasRelatedWork W2529529838 @default.
- W2106442671 hasRelatedWork W2735228200 @default.
- W2106442671 hasRelatedWork W2952213139 @default.
- W2106442671 hasRelatedWork W2985800447 @default.
- W2106442671 hasRelatedWork W3104721040 @default.
- W2106442671 hasRelatedWork W3121643781 @default.
- W2106442671 hasRelatedWork W2522202088 @default.
- W2106442671 isParatext "false" @default.
- W2106442671 isRetracted "false" @default.
- W2106442671 magId "2106442671" @default.
- W2106442671 workType "article" @default.