FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2002387648> ?p ?o ?g. }

• W2002387648 endingPage "47" @default.
• W2002387648 startingPage "7" @default.
• W2002387648 abstract "Reduced product of abstract domains is a rather well-known operation for domain composition in abstract interpretation. In this article, we study its inverse operation, introducing a notion of domain complementation in abstract interpretation. Complementation provides as systematic way to design new abstract domains, and it allows to systematically decompose domains. Also, such an operation allows to simplify domain verification problems, and it yields space-saving representations for complex domains. We show that the complement exists in most coses, and we apply complementation to three well-know abstract domains, notably to Cousot and Cousot's interval domain for integer variable analysis, to Cousot and Cousot's domain for comportment analysis of functional languages, and to the domain Sharing for aliasing analysis of logic languages." @default.
• W2002387648 created "2016-06-24" @default.
• W2002387648 creator A5000629161 @default.
• W2002387648 creator A5015116587 @default.
• W2002387648 creator A5052881133 @default.
• W2002387648 creator A5076488735 @default.
• W2002387648 creator A5090842450 @default.
• W2002387648 date "1997-01-01" @default.
• W2002387648 modified "2023-10-18" @default.
• W2002387648 title "Complementation in abstract interpretation" @default.
• W2002387648 cites W1507069282 @default.
• W2002387648 cites W1549124866 @default.
• W2002387648 cites W1559686260 @default.
• W2002387648 cites W1583233241 @default.
• W2002387648 cites W1599804724 @default.
• W2002387648 cites W1984795629 @default.
• W2002387648 cites W2001265243 @default.
• W2002387648 cites W2003914809 @default.
• W2002387648 cites W2017212489 @default.
• W2002387648 cites W2033160692 @default.
• W2002387648 cites W2034642607 @default.
• W2002387648 cites W2044778622 @default.
• W2002387648 cites W2053152889 @default.
• W2002387648 cites W2053608039 @default.
• W2002387648 cites W2081810835 @default.
• W2002387648 cites W2082175363 @default.
• W2002387648 cites W2313227953 @default.
• W2002387648 doi "https://doi.org/10.1145/239912.239914" @default.
• W2002387648 hasPublicationYear "1997" @default.
• W2002387648 type Work @default.
• W2002387648 sameAs 2002387648 @default.
• W2002387648 citedByCount "53" @default.
• W2002387648 countsByYear W20023876482012 @default.
• W2002387648 countsByYear W20023876482013 @default.
• W2002387648 countsByYear W20023876482014 @default.
• W2002387648 countsByYear W20023876482015 @default.
• W2002387648 crossrefType "journal-article" @default.
• W2002387648 hasAuthorship W2002387648A5000629161 @default.
• W2002387648 hasAuthorship W2002387648A5015116587 @default.
• W2002387648 hasAuthorship W2002387648A5052881133 @default.
• W2002387648 hasAuthorship W2002387648A5076488735 @default.
• W2002387648 hasAuthorship W2002387648A5090842450 @default.
• W2002387648 hasBestOaLocation W20023876481 @default.
• W2002387648 hasConcept C104317684 @default.
• W2002387648 hasConcept C112313634 @default.
• W2002387648 hasConcept C11413529 @default.
• W2002387648 hasConcept C127716648 @default.
• W2002387648 hasConcept C134306372 @default.
• W2002387648 hasConcept C136536468 @default.
• W2002387648 hasConcept C154945302 @default.
• W2002387648 hasConcept C185592680 @default.
• W2002387648 hasConcept C188082640 @default.
• W2002387648 hasConcept C199360897 @default.
• W2002387648 hasConcept C2780654840 @default.
• W2002387648 hasConcept C33923547 @default.
• W2002387648 hasConcept C36503486 @default.
• W2002387648 hasConcept C4069607 @default.
• W2002387648 hasConcept C41008148 @default.
• W2002387648 hasConcept C527412718 @default.
• W2002387648 hasConcept C55493867 @default.
• W2002387648 hasConcept C80444323 @default.
• W2002387648 hasConcept C97137487 @default.
• W2002387648 hasConceptScore W2002387648C104317684 @default.
• W2002387648 hasConceptScore W2002387648C112313634 @default.
• W2002387648 hasConceptScore W2002387648C11413529 @default.
• W2002387648 hasConceptScore W2002387648C127716648 @default.
• W2002387648 hasConceptScore W2002387648C134306372 @default.
• W2002387648 hasConceptScore W2002387648C136536468 @default.
• W2002387648 hasConceptScore W2002387648C154945302 @default.
• W2002387648 hasConceptScore W2002387648C185592680 @default.
• W2002387648 hasConceptScore W2002387648C188082640 @default.
• W2002387648 hasConceptScore W2002387648C199360897 @default.
• W2002387648 hasConceptScore W2002387648C2780654840 @default.
• W2002387648 hasConceptScore W2002387648C33923547 @default.
• W2002387648 hasConceptScore W2002387648C36503486 @default.
• W2002387648 hasConceptScore W2002387648C4069607 @default.
• W2002387648 hasConceptScore W2002387648C41008148 @default.
• W2002387648 hasConceptScore W2002387648C527412718 @default.
• W2002387648 hasConceptScore W2002387648C55493867 @default.
• W2002387648 hasConceptScore W2002387648C80444323 @default.
• W2002387648 hasConceptScore W2002387648C97137487 @default.
• W2002387648 hasIssue "1" @default.
• W2002387648 hasLocation W20023876481 @default.
• W2002387648 hasLocation W20023876482 @default.
• W2002387648 hasLocation W20023876483 @default.
• W2002387648 hasOpenAccess W2002387648 @default.
• W2002387648 hasPrimaryLocation W20023876481 @default.
• W2002387648 hasRelatedWork W1576856119 @default.
• W2002387648 hasRelatedWork W1603485317 @default.
• W2002387648 hasRelatedWork W2002387648 @default.
• W2002387648 hasRelatedWork W2021410963 @default.
• W2002387648 hasRelatedWork W2074638034 @default.
• W2002387648 hasRelatedWork W2172022734 @default.
• W2002387648 hasRelatedWork W2952657391 @default.
• W2002387648 hasRelatedWork W3137189469 @default.
• W2002387648 hasRelatedWork W3146823024 @default.
• W2002387648 hasRelatedWork W4245681215 @default.
• W2002387648 hasVolume "19" @default.

• next