Matches in SemOpenAlex for { <https://semopenalex.org/work/W2004754421> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2004754421 abstract "As one of the significant aspects for green software systems, termination analysis is related to the optimization of the resource utilization. The approach for size-change termination principle was first proposed by Lee, Jones and Ben-Amram in 2001, which is an effective method for automatic termination analysis. According to its abstracted constructs (size-change graphs), the principle ignores the condition and return values for function call. In this paper, we devise a new construct including the ignoring features to extend the set of programs that are size-change terminating in real life. The main contribution of our paper is twofold: firstly, it supports the analysis of functions in which the returned values are relevant to termination. Secondly, it gains more accuracy for oscillating value change in termination analysis. HighlightsAn auxiliary construct for termination analysis in complex programs is proposed.The approach relies on analyzing relations in oscillating value changes.The returned values are considered when they are relevant to termination.The approach extends the set of programs that are size-change terminating." @default.
- W2004754421 created "2016-06-24" @default.
- W2004754421 creator A5018688345 @default.
- W2004754421 creator A5051238737 @default.
- W2004754421 date "2016-01-01" @default.
- W2004754421 modified "2023-09-24" @default.
- W2004754421 title "Termination analysis with recursive calling graphs" @default.
- W2004754421 cites W1515621470 @default.
- W2004754421 cites W1523037784 @default.
- W2004754421 cites W1540139181 @default.
- W2004754421 cites W1578701395 @default.
- W2004754421 cites W1579524364 @default.
- W2004754421 cites W1589106570 @default.
- W2004754421 cites W1597829367 @default.
- W2004754421 cites W161537417 @default.
- W2004754421 cites W1755589398 @default.
- W2004754421 cites W1780742584 @default.
- W2004754421 cites W1803315493 @default.
- W2004754421 cites W1897875017 @default.
- W2004754421 cites W1983764301 @default.
- W2004754421 cites W1993129359 @default.
- W2004754421 cites W1996245589 @default.
- W2004754421 cites W2039525895 @default.
- W2004754421 cites W2061972420 @default.
- W2004754421 cites W2081479337 @default.
- W2004754421 cites W2129883154 @default.
- W2004754421 cites W2612750330 @default.
- W2004754421 cites W80442178 @default.
- W2004754421 cites W1934005735 @default.
- W2004754421 doi "https://doi.org/10.1016/j.jnca.2015.06.019" @default.
- W2004754421 hasPublicationYear "2016" @default.
- W2004754421 type Work @default.
- W2004754421 sameAs 2004754421 @default.
- W2004754421 citedByCount "1" @default.
- W2004754421 countsByYear W20047544212016 @default.
- W2004754421 crossrefType "journal-article" @default.
- W2004754421 hasAuthorship W2004754421A5018688345 @default.
- W2004754421 hasAuthorship W2004754421A5051238737 @default.
- W2004754421 hasConcept C11413529 @default.
- W2004754421 hasConcept C119857082 @default.
- W2004754421 hasConcept C14036430 @default.
- W2004754421 hasConcept C164691408 @default.
- W2004754421 hasConcept C177264268 @default.
- W2004754421 hasConcept C199360897 @default.
- W2004754421 hasConcept C206345919 @default.
- W2004754421 hasConcept C2776291640 @default.
- W2004754421 hasConcept C2777904410 @default.
- W2004754421 hasConcept C2780801425 @default.
- W2004754421 hasConcept C31258907 @default.
- W2004754421 hasConcept C41008148 @default.
- W2004754421 hasConcept C78458016 @default.
- W2004754421 hasConcept C80444323 @default.
- W2004754421 hasConcept C86803240 @default.
- W2004754421 hasConceptScore W2004754421C11413529 @default.
- W2004754421 hasConceptScore W2004754421C119857082 @default.
- W2004754421 hasConceptScore W2004754421C14036430 @default.
- W2004754421 hasConceptScore W2004754421C164691408 @default.
- W2004754421 hasConceptScore W2004754421C177264268 @default.
- W2004754421 hasConceptScore W2004754421C199360897 @default.
- W2004754421 hasConceptScore W2004754421C206345919 @default.
- W2004754421 hasConceptScore W2004754421C2776291640 @default.
- W2004754421 hasConceptScore W2004754421C2777904410 @default.
- W2004754421 hasConceptScore W2004754421C2780801425 @default.
- W2004754421 hasConceptScore W2004754421C31258907 @default.
- W2004754421 hasConceptScore W2004754421C41008148 @default.
- W2004754421 hasConceptScore W2004754421C78458016 @default.
- W2004754421 hasConceptScore W2004754421C80444323 @default.
- W2004754421 hasConceptScore W2004754421C86803240 @default.
- W2004754421 hasFunder F4320321001 @default.
- W2004754421 hasLocation W20047544211 @default.
- W2004754421 hasOpenAccess W2004754421 @default.
- W2004754421 hasPrimaryLocation W20047544211 @default.
- W2004754421 hasRelatedWork W1485994731 @default.
- W2004754421 hasRelatedWork W1495626710 @default.
- W2004754421 hasRelatedWork W1496043728 @default.
- W2004754421 hasRelatedWork W1539550612 @default.
- W2004754421 hasRelatedWork W1769196389 @default.
- W2004754421 hasRelatedWork W1772022673 @default.
- W2004754421 hasRelatedWork W1780742584 @default.
- W2004754421 hasRelatedWork W1899649530 @default.
- W2004754421 hasRelatedWork W2024821946 @default.
- W2004754421 hasRelatedWork W2025356485 @default.
- W2004754421 hasRelatedWork W2027110927 @default.
- W2004754421 hasRelatedWork W2099083823 @default.
- W2004754421 hasRelatedWork W2112916650 @default.
- W2004754421 hasRelatedWork W2143441770 @default.
- W2004754421 hasRelatedWork W2143645917 @default.
- W2004754421 hasRelatedWork W2145927340 @default.
- W2004754421 hasRelatedWork W2156634602 @default.
- W2004754421 hasRelatedWork W2172251555 @default.
- W2004754421 hasRelatedWork W2342463686 @default.
- W2004754421 hasRelatedWork W3102757572 @default.
- W2004754421 isParatext "false" @default.
- W2004754421 isRetracted "false" @default.
- W2004754421 magId "2004754421" @default.
- W2004754421 workType "article" @default.