Matches in SemOpenAlex for { <https://semopenalex.org/work/W2729050776> ?p ?o ?g. }
- W2729050776 abstract "We introduce a reduced product combining algebraic and logical abstractions to design program correctness verifiers and static analyzers by abstract interpretation. The key new idea is to show that the Nelson-Oppen procedure for combining theories in SMT-solvers computes a reduced product in an observational semantics, so that algebraic and logical abstract interpretations can naturally be combined in a classical way using a reduced product on this observational semantics. The main practical benefit is that reductions can be performed within the logical abstract domains, within the algebraic abstract domains, and also between the logical and the algebraic abstract domains, including the case of abstractions evolving during the analysis." @default.
- W2729050776 created "2017-07-14" @default.
- W2729050776 creator A5007730604 @default.
- W2729050776 creator A5015957810 @default.
- W2729050776 creator A5090849099 @default.
- W2729050776 date "2010-09-01" @default.
- W2729050776 modified "2023-09-27" @default.
- W2729050776 title "A Framework for Combining Algebraic and Logical Abstract Interpretations" @default.
- W2729050776 cites W1500085611 @default.
- W2729050776 cites W1503472559 @default.
- W2729050776 cites W1511737804 @default.
- W2729050776 cites W1559664284 @default.
- W2729050776 cites W1567887689 @default.
- W2729050776 cites W1568478782 @default.
- W2729050776 cites W1595386810 @default.
- W2729050776 cites W1596865963 @default.
- W2729050776 cites W1964727056 @default.
- W2729050776 cites W1982205631 @default.
- W2729050776 cites W2014764321 @default.
- W2729050776 cites W2021986357 @default.
- W2729050776 cites W2030670832 @default.
- W2729050776 cites W2043100293 @default.
- W2729050776 cites W2084875723 @default.
- W2729050776 cites W2113159073 @default.
- W2729050776 cites W2118692759 @default.
- W2729050776 cites W2131791649 @default.
- W2729050776 cites W2136584020 @default.
- W2729050776 cites W2139401046 @default.
- W2729050776 cites W2140856295 @default.
- W2729050776 cites W2142911640 @default.
- W2729050776 cites W2799061192 @default.
- W2729050776 cites W3158747708 @default.
- W2729050776 cites W52562630 @default.
- W2729050776 hasPublicationYear "2010" @default.
- W2729050776 type Work @default.
- W2729050776 sameAs 2729050776 @default.
- W2729050776 citedByCount "1" @default.
- W2729050776 countsByYear W27290507762018 @default.
- W2729050776 crossrefType "journal-article" @default.
- W2729050776 hasAuthorship W2729050776A5007730604 @default.
- W2729050776 hasAuthorship W2729050776A5015957810 @default.
- W2729050776 hasAuthorship W2729050776A5090849099 @default.
- W2729050776 hasConcept C11413529 @default.
- W2729050776 hasConcept C116253237 @default.
- W2729050776 hasConcept C134306372 @default.
- W2729050776 hasConcept C136119220 @default.
- W2729050776 hasConcept C184337299 @default.
- W2729050776 hasConcept C199360897 @default.
- W2729050776 hasConcept C202444582 @default.
- W2729050776 hasConcept C20693621 @default.
- W2729050776 hasConcept C21847791 @default.
- W2729050776 hasConcept C2524010 @default.
- W2729050776 hasConcept C2777691520 @default.
- W2729050776 hasConcept C2779729104 @default.
- W2729050776 hasConcept C2780654840 @default.
- W2729050776 hasConcept C33923547 @default.
- W2729050776 hasConcept C41008148 @default.
- W2729050776 hasConcept C527412718 @default.
- W2729050776 hasConcept C55439883 @default.
- W2729050776 hasConcept C80444323 @default.
- W2729050776 hasConcept C90673727 @default.
- W2729050776 hasConcept C9376300 @default.
- W2729050776 hasConceptScore W2729050776C11413529 @default.
- W2729050776 hasConceptScore W2729050776C116253237 @default.
- W2729050776 hasConceptScore W2729050776C134306372 @default.
- W2729050776 hasConceptScore W2729050776C136119220 @default.
- W2729050776 hasConceptScore W2729050776C184337299 @default.
- W2729050776 hasConceptScore W2729050776C199360897 @default.
- W2729050776 hasConceptScore W2729050776C202444582 @default.
- W2729050776 hasConceptScore W2729050776C20693621 @default.
- W2729050776 hasConceptScore W2729050776C21847791 @default.
- W2729050776 hasConceptScore W2729050776C2524010 @default.
- W2729050776 hasConceptScore W2729050776C2777691520 @default.
- W2729050776 hasConceptScore W2729050776C2779729104 @default.
- W2729050776 hasConceptScore W2729050776C2780654840 @default.
- W2729050776 hasConceptScore W2729050776C33923547 @default.
- W2729050776 hasConceptScore W2729050776C41008148 @default.
- W2729050776 hasConceptScore W2729050776C527412718 @default.
- W2729050776 hasConceptScore W2729050776C55439883 @default.
- W2729050776 hasConceptScore W2729050776C80444323 @default.
- W2729050776 hasConceptScore W2729050776C90673727 @default.
- W2729050776 hasConceptScore W2729050776C9376300 @default.
- W2729050776 hasLocation W27290507761 @default.
- W2729050776 hasOpenAccess W2729050776 @default.
- W2729050776 hasPrimaryLocation W27290507761 @default.
- W2729050776 hasRelatedWork W1480260388 @default.
- W2729050776 hasRelatedWork W1483284084 @default.
- W2729050776 hasRelatedWork W1497557854 @default.
- W2729050776 hasRelatedWork W1499915732 @default.
- W2729050776 hasRelatedWork W1517599010 @default.
- W2729050776 hasRelatedWork W1530237759 @default.
- W2729050776 hasRelatedWork W1558816505 @default.
- W2729050776 hasRelatedWork W1598572838 @default.
- W2729050776 hasRelatedWork W1619830180 @default.
- W2729050776 hasRelatedWork W1758843996 @default.
- W2729050776 hasRelatedWork W2138242083 @default.
- W2729050776 hasRelatedWork W2141287679 @default.
- W2729050776 hasRelatedWork W2510622047 @default.
- W2729050776 hasRelatedWork W2563639488 @default.
- W2729050776 hasRelatedWork W2906782500 @default.