Matches in SemOpenAlex for { <https://semopenalex.org/work/W3141563295> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3141563295 abstract "Most standard approaches to the static analysis of programs, such as the popular worklist method, are first-order methods that inductively annotate program points with abstract values. In this paper we introduce a second-order approach based on Kleene algebra. In this approach, the primary objects of interest are not the abstract data values, but the transfer functions that manipulate them. These elements form a left-handed Kleene algebra. The dataflow labeling is not achieved by inductively labeling the program with abstract values, but rather by computing the star (Kleene closure) of a matrix of transfer functions. In this paper we introduce the method and prove soundness and completeness with respect to the standard worklist algorithm." @default.
- W3141563295 created "2021-04-13" @default.
- W3141563295 creator A5013576498 @default.
- W3141563295 date "2005-01-01" @default.
- W3141563295 modified "2023-09-27" @default.
- W3141563295 title "Second-Order Abstract Interpretation via Kleene Algebra" @default.
- W3141563295 cites W1514258760 @default.
- W3141563295 cites W1570445666 @default.
- W3141563295 cites W1570949334 @default.
- W3141563295 cites W2011039300 @default.
- W3141563295 cites W2036910349 @default.
- W3141563295 cites W2082000355 @default.
- W3141563295 cites W2105360973 @default.
- W3141563295 cites W2124153277 @default.
- W3141563295 cites W2154852974 @default.
- W3141563295 cites W2157526003 @default.
- W3141563295 cites W2163152086 @default.
- W3141563295 hasPublicationYear "2005" @default.
- W3141563295 type Work @default.
- W3141563295 sameAs 3141563295 @default.
- W3141563295 citedByCount "0" @default.
- W3141563295 crossrefType "journal-article" @default.
- W3141563295 hasAuthorship W3141563295A5013576498 @default.
- W3141563295 hasConcept C11413529 @default.
- W3141563295 hasConcept C118615104 @default.
- W3141563295 hasConcept C123260079 @default.
- W3141563295 hasConcept C134306372 @default.
- W3141563295 hasConcept C136119220 @default.
- W3141563295 hasConcept C138885662 @default.
- W3141563295 hasConcept C17231256 @default.
- W3141563295 hasConcept C199360897 @default.
- W3141563295 hasConcept C202444582 @default.
- W3141563295 hasConcept C206470798 @default.
- W3141563295 hasConcept C33923547 @default.
- W3141563295 hasConcept C39920170 @default.
- W3141563295 hasConcept C41008148 @default.
- W3141563295 hasConcept C41895202 @default.
- W3141563295 hasConcept C527412718 @default.
- W3141563295 hasConcept C75291252 @default.
- W3141563295 hasConcept C96324660 @default.
- W3141563295 hasConceptScore W3141563295C11413529 @default.
- W3141563295 hasConceptScore W3141563295C118615104 @default.
- W3141563295 hasConceptScore W3141563295C123260079 @default.
- W3141563295 hasConceptScore W3141563295C134306372 @default.
- W3141563295 hasConceptScore W3141563295C136119220 @default.
- W3141563295 hasConceptScore W3141563295C138885662 @default.
- W3141563295 hasConceptScore W3141563295C17231256 @default.
- W3141563295 hasConceptScore W3141563295C199360897 @default.
- W3141563295 hasConceptScore W3141563295C202444582 @default.
- W3141563295 hasConceptScore W3141563295C206470798 @default.
- W3141563295 hasConceptScore W3141563295C33923547 @default.
- W3141563295 hasConceptScore W3141563295C39920170 @default.
- W3141563295 hasConceptScore W3141563295C41008148 @default.
- W3141563295 hasConceptScore W3141563295C41895202 @default.
- W3141563295 hasConceptScore W3141563295C527412718 @default.
- W3141563295 hasConceptScore W3141563295C75291252 @default.
- W3141563295 hasConceptScore W3141563295C96324660 @default.
- W3141563295 hasLocation W31415632951 @default.
- W3141563295 hasOpenAccess W3141563295 @default.
- W3141563295 hasPrimaryLocation W31415632951 @default.
- W3141563295 hasRelatedWork W1512204044 @default.
- W3141563295 hasRelatedWork W1658292375 @default.
- W3141563295 hasRelatedWork W1970058891 @default.
- W3141563295 hasRelatedWork W2011998974 @default.
- W3141563295 hasRelatedWork W2049596743 @default.
- W3141563295 hasRelatedWork W2098103538 @default.
- W3141563295 hasRelatedWork W2124345097 @default.
- W3141563295 hasRelatedWork W2128992690 @default.
- W3141563295 hasRelatedWork W2278309366 @default.
- W3141563295 hasRelatedWork W2484059716 @default.
- W3141563295 hasRelatedWork W2548622894 @default.
- W3141563295 hasRelatedWork W2939708371 @default.
- W3141563295 hasRelatedWork W2954069943 @default.
- W3141563295 hasRelatedWork W2964208511 @default.
- W3141563295 hasRelatedWork W3021851953 @default.
- W3141563295 hasRelatedWork W3093815185 @default.
- W3141563295 hasRelatedWork W3121945794 @default.
- W3141563295 hasRelatedWork W3145886794 @default.
- W3141563295 hasRelatedWork W61857497 @default.
- W3141563295 hasRelatedWork W15992309 @default.
- W3141563295 isParatext "false" @default.
- W3141563295 isRetracted "false" @default.
- W3141563295 magId "3141563295" @default.
- W3141563295 workType "article" @default.