Matches in SemOpenAlex for { <https://semopenalex.org/work/W2098045685> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2098045685 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.
- W2098045685 created "2016-06-24" @default.
- W2098045685 creator A5034436241 @default.
- W2098045685 creator A5058348937 @default.
- W2098045685 creator A5063584164 @default.
- W2098045685 date "2004-01-01" @default.
- W2098045685 modified "2023-10-01" @default.
- W2098045685 title "Non-linear loop invariant generation using Gröbner bases" @default.
- W2098045685 cites W1483379332 @default.
- W2098045685 cites W1563374593 @default.
- W2098045685 cites W1966161069 @default.
- W2098045685 cites W1986264093 @default.
- W2098045685 cites W2007074311 @default.
- W2098045685 cites W2031373197 @default.
- W2098045685 cites W2043100293 @default.
- W2098045685 cites W2045112813 @default.
- W2098045685 cites W2104715607 @default.
- W2098045685 cites W2123396057 @default.
- W2098045685 cites W2132661148 @default.
- W2098045685 cites W2167838416 @default.
- W2098045685 cites W22319829 @default.
- W2098045685 cites W2987907651 @default.
- W2098045685 cites W4229571709 @default.
- W2098045685 cites W4251912342 @default.
- W2098045685 cites W4298290503 @default.
- W2098045685 doi "https://doi.org/10.1145/964001.964028" @default.
- W2098045685 hasPublicationYear "2004" @default.
- W2098045685 type Work @default.
- W2098045685 sameAs 2098045685 @default.
- W2098045685 citedByCount "181" @default.
- W2098045685 countsByYear W20980456852012 @default.
- W2098045685 countsByYear W20980456852013 @default.
- W2098045685 countsByYear W20980456852014 @default.
- W2098045685 countsByYear W20980456852015 @default.
- W2098045685 countsByYear W20980456852016 @default.
- W2098045685 countsByYear W20980456852017 @default.
- W2098045685 countsByYear W20980456852018 @default.
- W2098045685 countsByYear W20980456852019 @default.
- W2098045685 countsByYear W20980456852020 @default.
- W2098045685 countsByYear W20980456852021 @default.
- W2098045685 countsByYear W20980456852022 @default.
- W2098045685 countsByYear W20980456852023 @default.
- W2098045685 crossrefType "proceedings-article" @default.
- W2098045685 hasAuthorship W2098045685A5034436241 @default.
- W2098045685 hasAuthorship W2098045685A5058348937 @default.
- W2098045685 hasAuthorship W2098045685A5063584164 @default.
- W2098045685 hasBestOaLocation W20980456852 @default.
- W2098045685 hasConcept C11413529 @default.
- W2098045685 hasConcept C134306372 @default.
- W2098045685 hasConcept C136119220 @default.
- W2098045685 hasConcept C190470478 @default.
- W2098045685 hasConcept C199360897 @default.
- W2098045685 hasConcept C202444582 @default.
- W2098045685 hasConcept C28826006 @default.
- W2098045685 hasConcept C33923547 @default.
- W2098045685 hasConcept C37914503 @default.
- W2098045685 hasConcept C40422974 @default.
- W2098045685 hasConcept C41008148 @default.
- W2098045685 hasConcept C41045048 @default.
- W2098045685 hasConcept C63036529 @default.
- W2098045685 hasConcept C6802819 @default.
- W2098045685 hasConcept C87698059 @default.
- W2098045685 hasConcept C9376300 @default.
- W2098045685 hasConceptScore W2098045685C11413529 @default.
- W2098045685 hasConceptScore W2098045685C134306372 @default.
- W2098045685 hasConceptScore W2098045685C136119220 @default.
- W2098045685 hasConceptScore W2098045685C190470478 @default.
- W2098045685 hasConceptScore W2098045685C199360897 @default.
- W2098045685 hasConceptScore W2098045685C202444582 @default.
- W2098045685 hasConceptScore W2098045685C28826006 @default.
- W2098045685 hasConceptScore W2098045685C33923547 @default.
- W2098045685 hasConceptScore W2098045685C37914503 @default.
- W2098045685 hasConceptScore W2098045685C40422974 @default.
- W2098045685 hasConceptScore W2098045685C41008148 @default.
- W2098045685 hasConceptScore W2098045685C41045048 @default.
- W2098045685 hasConceptScore W2098045685C63036529 @default.
- W2098045685 hasConceptScore W2098045685C6802819 @default.
- W2098045685 hasConceptScore W2098045685C87698059 @default.
- W2098045685 hasConceptScore W2098045685C9376300 @default.
- W2098045685 hasLocation W20980456851 @default.
- W2098045685 hasLocation W20980456852 @default.
- W2098045685 hasOpenAccess W2098045685 @default.
- W2098045685 hasPrimaryLocation W20980456851 @default.
- W2098045685 hasRelatedWork W1966017566 @default.
- W2098045685 hasRelatedWork W2066426936 @default.
- W2098045685 hasRelatedWork W2549447903 @default.
- W2098045685 hasRelatedWork W2565514923 @default.
- W2098045685 hasRelatedWork W2805924739 @default.
- W2098045685 hasRelatedWork W2885964212 @default.
- W2098045685 hasRelatedWork W2950568206 @default.
- W2098045685 hasRelatedWork W4286977211 @default.
- W2098045685 hasRelatedWork W4296940695 @default.
- W2098045685 hasRelatedWork W2472952052 @default.
- W2098045685 isParatext "false" @default.
- W2098045685 isRetracted "false" @default.
- W2098045685 magId "2098045685" @default.
- W2098045685 workType "article" @default.