Matches in SemOpenAlex for { <https://semopenalex.org/work/W4246575101> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W4246575101 endingPage "329" @default.
- W4246575101 startingPage "318" @default.
- W4246575101 abstract "We present a new technique for the generation of non-linear (algebraic) invariants of a program. Our technique uses the theory of ideals over polynomial rings to reduce the non-linear invariant generation problem to a numerical constraint solving problem. So far, the literature on invariant generation has been focussed on the construction of linear invariants for linear programs. Consequently, there has been little progress toward non-linear invariant generation. In this paper, we demonstrate a technique that encodes the conditions for a given template assertion being an invariant into a set of constraints, such that all the solutions to these constraints correspond to non-linear (algebraic) loop invariants of the program. We discuss some trade-offs between the completeness of the technique and the tractability of the constraint-solving problem generated. The application of the technique is demonstrated on a few examples." @default.
- W4246575101 created "2022-05-12" @default.
- W4246575101 creator A5034436241 @default.
- W4246575101 creator A5058348937 @default.
- W4246575101 creator A5063584164 @default.
- W4246575101 date "2004-01-01" @default.
- W4246575101 modified "2023-10-18" @default.
- W4246575101 title "Non-linear loop invariant generation using Gröbner bases" @default.
- W4246575101 cites W1483379332 @default.
- W4246575101 cites W1563374593 @default.
- W4246575101 cites W1966161069 @default.
- W4246575101 cites W1986264093 @default.
- W4246575101 cites W2007074311 @default.
- W4246575101 cites W2031373197 @default.
- W4246575101 cites W2043100293 @default.
- W4246575101 cites W2045112813 @default.
- W4246575101 cites W2104715607 @default.
- W4246575101 cites W2123396057 @default.
- W4246575101 cites W2132661148 @default.
- W4246575101 cites W2167838416 @default.
- W4246575101 cites W22319829 @default.
- W4246575101 cites W2987907651 @default.
- W4246575101 cites W4229571709 @default.
- W4246575101 cites W4251912342 @default.
- W4246575101 cites W4298290503 @default.
- W4246575101 doi "https://doi.org/10.1145/982962.964028" @default.
- W4246575101 hasPublicationYear "2004" @default.
- W4246575101 type Work @default.
- W4246575101 citedByCount "50" @default.
- W4246575101 countsByYear W42465751012012 @default.
- W4246575101 countsByYear W42465751012013 @default.
- W4246575101 countsByYear W42465751012014 @default.
- W4246575101 countsByYear W42465751012015 @default.
- W4246575101 countsByYear W42465751012016 @default.
- W4246575101 countsByYear W42465751012017 @default.
- W4246575101 countsByYear W42465751012018 @default.
- W4246575101 countsByYear W42465751012019 @default.
- W4246575101 countsByYear W42465751012020 @default.
- W4246575101 countsByYear W42465751012021 @default.
- W4246575101 countsByYear W42465751012022 @default.
- W4246575101 countsByYear W42465751012023 @default.
- W4246575101 crossrefType "journal-article" @default.
- W4246575101 hasAuthorship W4246575101A5034436241 @default.
- W4246575101 hasAuthorship W4246575101A5058348937 @default.
- W4246575101 hasAuthorship W4246575101A5063584164 @default.
- W4246575101 hasBestOaLocation W42465751012 @default.
- W4246575101 hasConcept C11413529 @default.
- W4246575101 hasConcept C134306372 @default.
- W4246575101 hasConcept C136119220 @default.
- W4246575101 hasConcept C190470478 @default.
- W4246575101 hasConcept C199360897 @default.
- W4246575101 hasConcept C202444582 @default.
- W4246575101 hasConcept C28826006 @default.
- W4246575101 hasConcept C33923547 @default.
- W4246575101 hasConcept C37914503 @default.
- W4246575101 hasConcept C40422974 @default.
- W4246575101 hasConcept C41008148 @default.
- W4246575101 hasConcept C41045048 @default.
- W4246575101 hasConcept C6802819 @default.
- W4246575101 hasConcept C87698059 @default.
- W4246575101 hasConcept C9376300 @default.
- W4246575101 hasConceptScore W4246575101C11413529 @default.
- W4246575101 hasConceptScore W4246575101C134306372 @default.
- W4246575101 hasConceptScore W4246575101C136119220 @default.
- W4246575101 hasConceptScore W4246575101C190470478 @default.
- W4246575101 hasConceptScore W4246575101C199360897 @default.
- W4246575101 hasConceptScore W4246575101C202444582 @default.
- W4246575101 hasConceptScore W4246575101C28826006 @default.
- W4246575101 hasConceptScore W4246575101C33923547 @default.
- W4246575101 hasConceptScore W4246575101C37914503 @default.
- W4246575101 hasConceptScore W4246575101C40422974 @default.
- W4246575101 hasConceptScore W4246575101C41008148 @default.
- W4246575101 hasConceptScore W4246575101C41045048 @default.
- W4246575101 hasConceptScore W4246575101C6802819 @default.
- W4246575101 hasConceptScore W4246575101C87698059 @default.
- W4246575101 hasConceptScore W4246575101C9376300 @default.
- W4246575101 hasIssue "1" @default.
- W4246575101 hasLocation W42465751011 @default.
- W4246575101 hasLocation W42465751012 @default.
- W4246575101 hasOpenAccess W4246575101 @default.
- W4246575101 hasPrimaryLocation W42465751011 @default.
- W4246575101 hasRelatedWork W1597165920 @default.
- W4246575101 hasRelatedWork W2113132409 @default.
- W4246575101 hasRelatedWork W2128728976 @default.
- W4246575101 hasRelatedWork W2258480099 @default.
- W4246575101 hasRelatedWork W2383393946 @default.
- W4246575101 hasRelatedWork W2481573195 @default.
- W4246575101 hasRelatedWork W2565514923 @default.
- W4246575101 hasRelatedWork W3135130527 @default.
- W4246575101 hasRelatedWork W4221167862 @default.
- W4246575101 hasRelatedWork W4226127711 @default.
- W4246575101 hasVolume "39" @default.
- W4246575101 isParatext "false" @default.
- W4246575101 isRetracted "false" @default.
- W4246575101 workType "article" @default.