Matches in SemOpenAlex for { <https://semopenalex.org/work/W2090777811> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W2090777811 endingPage "179" @default.
- W2090777811 startingPage "153" @default.
- W2090777811 abstract "In this paper we propose a simple framework based on first-order logic, for the design and decomposition of abstract domains for static analysis. An assertion language is chosen that specifies the properties of interest, and abstract domains on that assertion language are defined to be suitably chosen sets of assertions. Composition and decomposition of abstract domains is facilitated by their specification in assertion form. In particular, the operations of reduced product and disjunctive completion are formalized in this framework. Moreover, the notion of (conjunctive) factorization of sets of assertions is introduced, that allows one to decompose domains into ‘disjoint’ parts. We illustrate the use of this framework by studying typical abstract domains for ground-dependency and sharing analysis in logic programming." @default.
- W2090777811 created "2016-06-24" @default.
- W2090777811 creator A5089998437 @default.
- W2090777811 date "1999-07-01" @default.
- W2090777811 modified "2023-09-27" @default.
- W2090777811 title "Design of abstract domains using first-order logic" @default.
- W2090777811 cites W100418935 @default.
- W2090777811 cites W1493253728 @default.
- W2090777811 cites W1507069282 @default.
- W2090777811 cites W1514211390 @default.
- W2090777811 cites W1524572619 @default.
- W2090777811 cites W1530760588 @default.
- W2090777811 cites W157365073 @default.
- W2090777811 cites W1580672106 @default.
- W2090777811 cites W1583233241 @default.
- W2090777811 cites W1602067282 @default.
- W2090777811 cites W1700937817 @default.
- W2090777811 cites W1826040061 @default.
- W2090777811 cites W1837083048 @default.
- W2090777811 cites W1855771754 @default.
- W2090777811 cites W1993089083 @default.
- W2090777811 cites W2001265243 @default.
- W2090777811 cites W2002387648 @default.
- W2090777811 cites W2003914809 @default.
- W2090777811 cites W2008289497 @default.
- W2090777811 cites W2014764321 @default.
- W2090777811 cites W2044778622 @default.
- W2090777811 cites W2053608039 @default.
- W2090777811 cites W2057821410 @default.
- W2090777811 cites W2093397547 @default.
- W2090777811 cites W2098120938 @default.
- W2090777811 cites W2105594444 @default.
- W2090777811 cites W2110108549 @default.
- W2090777811 cites W2126384248 @default.
- W2090777811 cites W2131470156 @default.
- W2090777811 cites W3096089467 @default.
- W2090777811 cites W65053296 @default.
- W2090777811 doi "https://doi.org/10.1016/s0304-3975(98)00231-x" @default.
- W2090777811 hasPublicationYear "1999" @default.
- W2090777811 type Work @default.
- W2090777811 sameAs 2090777811 @default.
- W2090777811 citedByCount "2" @default.
- W2090777811 crossrefType "journal-article" @default.
- W2090777811 hasAuthorship W2090777811A5089998437 @default.
- W2090777811 hasBestOaLocation W20907778111 @default.
- W2090777811 hasConcept C10138342 @default.
- W2090777811 hasConcept C144133560 @default.
- W2090777811 hasConcept C182306322 @default.
- W2090777811 hasConcept C199360897 @default.
- W2090777811 hasConcept C33923547 @default.
- W2090777811 hasConcept C41008148 @default.
- W2090777811 hasConceptScore W2090777811C10138342 @default.
- W2090777811 hasConceptScore W2090777811C144133560 @default.
- W2090777811 hasConceptScore W2090777811C182306322 @default.
- W2090777811 hasConceptScore W2090777811C199360897 @default.
- W2090777811 hasConceptScore W2090777811C33923547 @default.
- W2090777811 hasConceptScore W2090777811C41008148 @default.
- W2090777811 hasIssue "1-2" @default.
- W2090777811 hasLocation W20907778111 @default.
- W2090777811 hasLocation W20907778112 @default.
- W2090777811 hasOpenAccess W2090777811 @default.
- W2090777811 hasPrimaryLocation W20907778111 @default.
- W2090777811 hasRelatedWork W1527862632 @default.
- W2090777811 hasRelatedWork W2112962394 @default.
- W2090777811 hasRelatedWork W2118300983 @default.
- W2090777811 hasRelatedWork W2135396778 @default.
- W2090777811 hasRelatedWork W2382501300 @default.
- W2090777811 hasRelatedWork W2740990710 @default.
- W2090777811 hasRelatedWork W3137189469 @default.
- W2090777811 hasRelatedWork W3162240892 @default.
- W2090777811 hasRelatedWork W4235530921 @default.
- W2090777811 hasRelatedWork W4243252198 @default.
- W2090777811 hasVolume "222" @default.
- W2090777811 isParatext "false" @default.
- W2090777811 isRetracted "false" @default.
- W2090777811 magId "2090777811" @default.
- W2090777811 workType "article" @default.