Matches in SemOpenAlex for { <https://semopenalex.org/work/W2464069333> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2464069333 abstract "Interprocedural analysis by means of partial tabulation of summary functions may not terminate when the same procedure is analyzed for infinitely many abstract calling contexts or when the abstract domain has infinite strictly ascending chains. As a remedy, we present a novel local solver for general abstract equation systems, be they monotonic or not, and prove that this solver fails to terminate only when infinitely many variables are encountered. We clarify in which sense the computed results are sound. Moreover, we show that interprocedural analysis performed by this novel local solver, is guaranteed to terminate for all non-recursive programs — irrespective of whether the complete lattice is infinite or has infinite strictly ascending or descending chains." @default.
- W2464069333 created "2016-07-22" @default.
- W2464069333 creator A5039690966 @default.
- W2464069333 creator A5080676686 @default.
- W2464069333 creator A5086638718 @default.
- W2464069333 date "2017-08-03" @default.
- W2464069333 modified "2023-09-28" @default.
- W2464069333 title "Enforcing termination of interprocedural analysis" @default.
- W2464069333 cites W1503265404 @default.
- W2464069333 cites W1561135709 @default.
- W2464069333 cites W1567014300 @default.
- W2464069333 cites W1580450019 @default.
- W2464069333 cites W158711440 @default.
- W2464069333 cites W1602616602 @default.
- W2464069333 cites W1978445909 @default.
- W2464069333 cites W2027874988 @default.
- W2464069333 cites W2043100293 @default.
- W2464069333 cites W2084875723 @default.
- W2464069333 cites W2086636341 @default.
- W2464069333 cites W2116325485 @default.
- W2464069333 cites W2121415300 @default.
- W2464069333 cites W2142044962 @default.
- W2464069333 cites W2165086189 @default.
- W2464069333 cites W2293127520 @default.
- W2464069333 cites W2852225 @default.
- W2464069333 cites W2949646179 @default.
- W2464069333 cites W2962786015 @default.
- W2464069333 cites W4212935551 @default.
- W2464069333 cites W85711746 @default.
- W2464069333 doi "https://doi.org/10.1007/s10703-017-0288-5" @default.
- W2464069333 hasPublicationYear "2017" @default.
- W2464069333 type Work @default.
- W2464069333 sameAs 2464069333 @default.
- W2464069333 citedByCount "1" @default.
- W2464069333 countsByYear W24640693332020 @default.
- W2464069333 crossrefType "journal-article" @default.
- W2464069333 hasAuthorship W2464069333A5039690966 @default.
- W2464069333 hasAuthorship W2464069333A5080676686 @default.
- W2464069333 hasAuthorship W2464069333A5086638718 @default.
- W2464069333 hasBestOaLocation W24640693332 @default.
- W2464069333 hasConcept C121332964 @default.
- W2464069333 hasConcept C134306372 @default.
- W2464069333 hasConcept C183992945 @default.
- W2464069333 hasConcept C199360897 @default.
- W2464069333 hasConcept C201640847 @default.
- W2464069333 hasConcept C24890656 @default.
- W2464069333 hasConcept C2778770139 @default.
- W2464069333 hasConcept C2781204021 @default.
- W2464069333 hasConcept C28826006 @default.
- W2464069333 hasConcept C3019612716 @default.
- W2464069333 hasConcept C33923547 @default.
- W2464069333 hasConcept C36503486 @default.
- W2464069333 hasConcept C41008148 @default.
- W2464069333 hasConcept C459310 @default.
- W2464069333 hasConcept C62520636 @default.
- W2464069333 hasConcept C72169020 @default.
- W2464069333 hasConceptScore W2464069333C121332964 @default.
- W2464069333 hasConceptScore W2464069333C134306372 @default.
- W2464069333 hasConceptScore W2464069333C183992945 @default.
- W2464069333 hasConceptScore W2464069333C199360897 @default.
- W2464069333 hasConceptScore W2464069333C201640847 @default.
- W2464069333 hasConceptScore W2464069333C24890656 @default.
- W2464069333 hasConceptScore W2464069333C2778770139 @default.
- W2464069333 hasConceptScore W2464069333C2781204021 @default.
- W2464069333 hasConceptScore W2464069333C28826006 @default.
- W2464069333 hasConceptScore W2464069333C3019612716 @default.
- W2464069333 hasConceptScore W2464069333C33923547 @default.
- W2464069333 hasConceptScore W2464069333C36503486 @default.
- W2464069333 hasConceptScore W2464069333C41008148 @default.
- W2464069333 hasConceptScore W2464069333C459310 @default.
- W2464069333 hasConceptScore W2464069333C62520636 @default.
- W2464069333 hasConceptScore W2464069333C72169020 @default.
- W2464069333 hasLocation W24640693331 @default.
- W2464069333 hasLocation W24640693332 @default.
- W2464069333 hasOpenAccess W2464069333 @default.
- W2464069333 hasPrimaryLocation W24640693331 @default.
- W2464069333 hasRelatedWork W1033764083 @default.
- W2464069333 hasRelatedWork W1556774584 @default.
- W2464069333 hasRelatedWork W1586578029 @default.
- W2464069333 hasRelatedWork W1599545538 @default.
- W2464069333 hasRelatedWork W1699259381 @default.
- W2464069333 hasRelatedWork W1909542576 @default.
- W2464069333 hasRelatedWork W193060395 @default.
- W2464069333 hasRelatedWork W2011889853 @default.
- W2464069333 hasRelatedWork W2063286137 @default.
- W2464069333 hasRelatedWork W2077499329 @default.
- W2464069333 hasRelatedWork W2117402063 @default.
- W2464069333 hasRelatedWork W2117607199 @default.
- W2464069333 hasRelatedWork W2151655370 @default.
- W2464069333 hasRelatedWork W2172299138 @default.
- W2464069333 hasRelatedWork W2618309437 @default.
- W2464069333 hasRelatedWork W2762668601 @default.
- W2464069333 hasRelatedWork W2899573209 @default.
- W2464069333 hasRelatedWork W3104564121 @default.
- W2464069333 hasRelatedWork W3172265307 @default.
- W2464069333 hasRelatedWork W1480331685 @default.
- W2464069333 isParatext "false" @default.
- W2464069333 isRetracted "false" @default.
- W2464069333 magId "2464069333" @default.
- W2464069333 workType "article" @default.