Matches in SemOpenAlex for { <https://semopenalex.org/work/W3020698506> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W3020698506 abstract "We present an algorithm for synthesizing program loops satisfying a given polynomial loop invariant. The class of loops we consider can be modeled by a system of algebraic recurrence equations with constant coefficients. We turn the task of loop synthesis into a polynomial constraint problem by precisely characterizing the set of all loops satisfying the given invariant. We prove soundness of our approach, as well as its completeness with respect to an a priori fixed upper bound on the number of program variables. Our work has applications towards program verification, as well as generating number sequences from algebraic relations. We implemented our work in the Absynth tool and report on our initial experiments with loop synthesis." @default.
- W3020698506 created "2020-05-01" @default.
- W3020698506 creator A5037385621 @default.
- W3020698506 creator A5071158512 @default.
- W3020698506 date "2020-04-24" @default.
- W3020698506 modified "2023-09-27" @default.
- W3020698506 title "Algebra-based Loop Synthesis" @default.
- W3020698506 cites W1480909796 @default.
- W3020698506 cites W1483736078 @default.
- W3020698506 cites W1590649805 @default.
- W3020698506 cites W1905591175 @default.
- W3020698506 cites W1971043610 @default.
- W3020698506 cites W2012436850 @default.
- W3020698506 cites W2038705805 @default.
- W3020698506 cites W2043100293 @default.
- W3020698506 cites W2101432564 @default.
- W3020698506 cites W2132525863 @default.
- W3020698506 cites W2399923814 @default.
- W3020698506 cites W2466191210 @default.
- W3020698506 cites W2752853835 @default.
- W3020698506 cites W2770103357 @default.
- W3020698506 cites W2899269697 @default.
- W3020698506 cites W2901330051 @default.
- W3020698506 cites W2913613828 @default.
- W3020698506 cites W2963022684 @default.
- W3020698506 cites W2963164018 @default.
- W3020698506 cites W589969373 @default.
- W3020698506 hasPublicationYear "2020" @default.
- W3020698506 type Work @default.
- W3020698506 sameAs 3020698506 @default.
- W3020698506 citedByCount "0" @default.
- W3020698506 crossrefType "posted-content" @default.
- W3020698506 hasAuthorship W3020698506A5037385621 @default.
- W3020698506 hasAuthorship W3020698506A5071158512 @default.
- W3020698506 hasConcept C111472728 @default.
- W3020698506 hasConcept C114614502 @default.
- W3020698506 hasConcept C118615104 @default.
- W3020698506 hasConcept C134306372 @default.
- W3020698506 hasConcept C136119220 @default.
- W3020698506 hasConcept C138885662 @default.
- W3020698506 hasConcept C17231256 @default.
- W3020698506 hasConcept C184670325 @default.
- W3020698506 hasConcept C190470478 @default.
- W3020698506 hasConcept C199360897 @default.
- W3020698506 hasConcept C202444582 @default.
- W3020698506 hasConcept C33923547 @default.
- W3020698506 hasConcept C37914503 @default.
- W3020698506 hasConcept C39920170 @default.
- W3020698506 hasConcept C41008148 @default.
- W3020698506 hasConcept C75553542 @default.
- W3020698506 hasConcept C90119067 @default.
- W3020698506 hasConcept C9376300 @default.
- W3020698506 hasConceptScore W3020698506C111472728 @default.
- W3020698506 hasConceptScore W3020698506C114614502 @default.
- W3020698506 hasConceptScore W3020698506C118615104 @default.
- W3020698506 hasConceptScore W3020698506C134306372 @default.
- W3020698506 hasConceptScore W3020698506C136119220 @default.
- W3020698506 hasConceptScore W3020698506C138885662 @default.
- W3020698506 hasConceptScore W3020698506C17231256 @default.
- W3020698506 hasConceptScore W3020698506C184670325 @default.
- W3020698506 hasConceptScore W3020698506C190470478 @default.
- W3020698506 hasConceptScore W3020698506C199360897 @default.
- W3020698506 hasConceptScore W3020698506C202444582 @default.
- W3020698506 hasConceptScore W3020698506C33923547 @default.
- W3020698506 hasConceptScore W3020698506C37914503 @default.
- W3020698506 hasConceptScore W3020698506C39920170 @default.
- W3020698506 hasConceptScore W3020698506C41008148 @default.
- W3020698506 hasConceptScore W3020698506C75553542 @default.
- W3020698506 hasConceptScore W3020698506C90119067 @default.
- W3020698506 hasConceptScore W3020698506C9376300 @default.
- W3020698506 hasLocation W30206985061 @default.
- W3020698506 hasOpenAccess W3020698506 @default.
- W3020698506 hasPrimaryLocation W30206985061 @default.
- W3020698506 hasRelatedWork W1549355248 @default.
- W3020698506 hasRelatedWork W1829244690 @default.
- W3020698506 hasRelatedWork W2041170865 @default.
- W3020698506 hasRelatedWork W2099629271 @default.
- W3020698506 hasRelatedWork W2108776051 @default.
- W3020698506 hasRelatedWork W2371801728 @default.
- W3020698506 hasRelatedWork W2376381547 @default.
- W3020698506 hasRelatedWork W2523459130 @default.
- W3020698506 hasRelatedWork W2734794793 @default.
- W3020698506 hasRelatedWork W2780276625 @default.
- W3020698506 hasRelatedWork W2781303448 @default.
- W3020698506 hasRelatedWork W2808922799 @default.
- W3020698506 hasRelatedWork W2951033777 @default.
- W3020698506 hasRelatedWork W2951368467 @default.
- W3020698506 hasRelatedWork W3033865919 @default.
- W3020698506 hasRelatedWork W3099373080 @default.
- W3020698506 hasRelatedWork W3109188614 @default.
- W3020698506 hasRelatedWork W3118905376 @default.
- W3020698506 hasRelatedWork W3120927816 @default.
- W3020698506 hasRelatedWork W31870660 @default.
- W3020698506 isParatext "false" @default.
- W3020698506 isRetracted "false" @default.
- W3020698506 magId "3020698506" @default.
- W3020698506 workType "article" @default.