Matches in SemOpenAlex for { <https://semopenalex.org/work/W1554792604> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1554792604 abstract "We introduce an efficient combination of polyhedral analysis and predicate partitioning. Template polyhedral analysis abstracts numerical variables inside a program by one polyhedron per control location, with a priori fixed directions for the faces. The strongest inductive invariant in such an abstract domain may be computed by upward strategy iteration. If the transition relation includes disjunctions and existential quantifiers (a succinct representation for an exponential set of paths), this invariant can be computed by a combination of strategy iteration and satisfiability modulo theory (SMT) solving. Unfortunately, the above approaches lead to unacceptable space and time costs if applied to a program whose control states have been partitioned according to predicates. We therefore propose a modification of the strategy iteration algorithm where the strategies are stored succinctly, and the linear programs to be solved at each iteration step are simplified according to an equivalence relation. We have implemented the technique in a prototype tool and we demonstrate on a series of examples that the approach performs significantly better than previous strategy iteration techniques." @default.
- W1554792604 created "2016-06-24" @default.
- W1554792604 creator A5066022930 @default.
- W1554792604 creator A5067069157 @default.
- W1554792604 date "2014-03-10" @default.
- W1554792604 modified "2023-09-27" @default.
- W1554792604 title "Scaling up logico-numerical strategy iteration (extended version)." @default.
- W1554792604 cites W1547121950 @default.
- W1554792604 cites W1548812055 @default.
- W1554792604 cites W1934855418 @default.
- W1554792604 cites W2016079448 @default.
- W1554792604 cites W2055372726 @default.
- W1554792604 cites W2069783271 @default.
- W1554792604 cites W2072331537 @default.
- W1554792604 cites W2080267935 @default.
- W1554792604 cites W2083013744 @default.
- W1554792604 cites W2157056800 @default.
- W1554792604 cites W2170736936 @default.
- W1554792604 cites W2951613327 @default.
- W1554792604 cites W89892127 @default.
- W1554792604 cites W2096560748 @default.
- W1554792604 hasPublicationYear "2014" @default.
- W1554792604 type Work @default.
- W1554792604 sameAs 1554792604 @default.
- W1554792604 citedByCount "0" @default.
- W1554792604 crossrefType "posted-content" @default.
- W1554792604 hasAuthorship W1554792604A5066022930 @default.
- W1554792604 hasAuthorship W1554792604A5067069157 @default.
- W1554792604 hasConcept C11413529 @default.
- W1554792604 hasConcept C114614502 @default.
- W1554792604 hasConcept C118615104 @default.
- W1554792604 hasConcept C126255220 @default.
- W1554792604 hasConcept C140146324 @default.
- W1554792604 hasConcept C156103551 @default.
- W1554792604 hasConcept C168773769 @default.
- W1554792604 hasConcept C190470478 @default.
- W1554792604 hasConcept C199360897 @default.
- W1554792604 hasConcept C28826006 @default.
- W1554792604 hasConcept C33923547 @default.
- W1554792604 hasConcept C37914503 @default.
- W1554792604 hasConcept C41008148 @default.
- W1554792604 hasConcept C54732982 @default.
- W1554792604 hasConcept C54829058 @default.
- W1554792604 hasConcept C80444323 @default.
- W1554792604 hasConceptScore W1554792604C11413529 @default.
- W1554792604 hasConceptScore W1554792604C114614502 @default.
- W1554792604 hasConceptScore W1554792604C118615104 @default.
- W1554792604 hasConceptScore W1554792604C126255220 @default.
- W1554792604 hasConceptScore W1554792604C140146324 @default.
- W1554792604 hasConceptScore W1554792604C156103551 @default.
- W1554792604 hasConceptScore W1554792604C168773769 @default.
- W1554792604 hasConceptScore W1554792604C190470478 @default.
- W1554792604 hasConceptScore W1554792604C199360897 @default.
- W1554792604 hasConceptScore W1554792604C28826006 @default.
- W1554792604 hasConceptScore W1554792604C33923547 @default.
- W1554792604 hasConceptScore W1554792604C37914503 @default.
- W1554792604 hasConceptScore W1554792604C41008148 @default.
- W1554792604 hasConceptScore W1554792604C54732982 @default.
- W1554792604 hasConceptScore W1554792604C54829058 @default.
- W1554792604 hasConceptScore W1554792604C80444323 @default.
- W1554792604 hasLocation W15547926041 @default.
- W1554792604 hasOpenAccess W1554792604 @default.
- W1554792604 hasPrimaryLocation W15547926041 @default.
- W1554792604 hasRelatedWork W1487591584 @default.
- W1554792604 hasRelatedWork W1503248989 @default.
- W1554792604 hasRelatedWork W1512948333 @default.
- W1554792604 hasRelatedWork W1540154185 @default.
- W1554792604 hasRelatedWork W1547121950 @default.
- W1554792604 hasRelatedWork W2020080707 @default.
- W1554792604 hasRelatedWork W2044747903 @default.
- W1554792604 hasRelatedWork W2083860925 @default.
- W1554792604 hasRelatedWork W2114898233 @default.
- W1554792604 hasRelatedWork W2133976022 @default.
- W1554792604 hasRelatedWork W2184715170 @default.
- W1554792604 hasRelatedWork W2229490248 @default.
- W1554792604 hasRelatedWork W2296333174 @default.
- W1554792604 hasRelatedWork W2345377689 @default.
- W1554792604 hasRelatedWork W2528691585 @default.
- W1554792604 hasRelatedWork W2951033777 @default.
- W1554792604 hasRelatedWork W3010680447 @default.
- W1554792604 hasRelatedWork W3081849599 @default.
- W1554792604 hasRelatedWork W60276166 @default.
- W1554792604 hasRelatedWork W2142916371 @default.
- W1554792604 isParatext "false" @default.
- W1554792604 isRetracted "false" @default.
- W1554792604 magId "1554792604" @default.
- W1554792604 workType "article" @default.