FRINK Linked Data Fragments server

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

• W2127745558 endingPage "425" @default.
• W2127745558 startingPage "401" @default.
• W2127745558 abstract "AbstractPrograms written in modern languages perform intricate manipulations of containers such as arrays, lists, dictionaries, and sets. We present an abstract interpretation-based framework for automatically inferring relations between the set of values stored in these containers. Relations include inclusion relations over unions and intersections, as well as quantified relationships with scalar variables. We develop an abstract domain constructor that builds a container domain out of a Quantified Union-Intersection Constraint (QUIC) graph parameterized by an arbitrary base domain. We instantiate our domain with a polyhedral base domain and evaluate it on programs extracted from the Python test suite. Over traditional, non-relational domains, we find significant precision improvements with minimal performance cost.KeywordsInference RuleAbstract InterpretationBase DomainConstraint GraphAbstract DomainThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
• W2127745558 created "2016-06-24" @default.
• W2127745558 creator A5048756174 @default.
• W2127745558 creator A5063584164 @default.
• W2127745558 creator A5083155613 @default.
• W2127745558 date "2013-01-01" @default.
• W2127745558 modified "2023-10-11" @default.
• W2127745558 title "QUIC Graphs: Relational Invariant Generation for Containers" @default.
• W2127745558 cites W1503677488 @default.
• W2127745558 cites W1506404239 @default.
• W2127745558 cites W1511737804 @default.
• W2127745558 cites W1517192598 @default.
• W2127745558 cites W1529049337 @default.
• W2127745558 cites W1533634404 @default.
• W2127745558 cites W171295454 @default.
• W2127745558 cites W1886159700 @default.
• W2127745558 cites W189388903 @default.
• W2127745558 cites W1951162889 @default.
• W2127745558 cites W1954117780 @default.
• W2127745558 cites W2014764321 @default.
• W2127745558 cites W2015362443 @default.
• W2127745558 cites W2043100293 @default.
• W2127745558 cites W2043133575 @default.
• W2127745558 cites W2060697066 @default.
• W2127745558 cites W2109900312 @default.
• W2127745558 cites W2115134174 @default.
• W2127745558 cites W2132251441 @default.
• W2127745558 cites W2150432932 @default.
• W2127745558 cites W2243989980 @default.
• W2127745558 cites W4230509083 @default.
• W2127745558 cites W4235733131 @default.
• W2127745558 doi "https://doi.org/10.1007/978-3-642-39038-8_17" @default.
• W2127745558 hasPublicationYear "2013" @default.
• W2127745558 type Work @default.
• W2127745558 sameAs 2127745558 @default.
• W2127745558 citedByCount "11" @default.
• W2127745558 countsByYear W21277455582014 @default.
• W2127745558 countsByYear W21277455582015 @default.
• W2127745558 countsByYear W21277455582017 @default.
• W2127745558 countsByYear W21277455582019 @default.
• W2127745558 countsByYear W21277455582020 @default.
• W2127745558 countsByYear W21277455582023 @default.
• W2127745558 crossrefType "book-chapter" @default.
• W2127745558 hasAuthorship W2127745558A5048756174 @default.
• W2127745558 hasAuthorship W2127745558A5063584164 @default.
• W2127745558 hasAuthorship W2127745558A5083155613 @default.
• W2127745558 hasBestOaLocation W21277455582 @default.
• W2127745558 hasConcept C11413529 @default.
• W2127745558 hasConcept C127413603 @default.
• W2127745558 hasConcept C134306372 @default.
• W2127745558 hasConcept C146978453 @default.
• W2127745558 hasConcept C165464430 @default.
• W2127745558 hasConcept C166957645 @default.
• W2127745558 hasConcept C190470478 @default.
• W2127745558 hasConcept C199360897 @default.
• W2127745558 hasConcept C2780654840 @default.
• W2127745558 hasConcept C33923547 @default.
• W2127745558 hasConcept C36503486 @default.
• W2127745558 hasConcept C37914503 @default.
• W2127745558 hasConcept C41008148 @default.
• W2127745558 hasConcept C519991488 @default.
• W2127745558 hasConcept C64543145 @default.
• W2127745558 hasConcept C79581498 @default.
• W2127745558 hasConcept C80444323 @default.
• W2127745558 hasConcept C95457728 @default.
• W2127745558 hasConceptScore W2127745558C11413529 @default.
• W2127745558 hasConceptScore W2127745558C127413603 @default.
• W2127745558 hasConceptScore W2127745558C134306372 @default.
• W2127745558 hasConceptScore W2127745558C146978453 @default.
• W2127745558 hasConceptScore W2127745558C165464430 @default.
• W2127745558 hasConceptScore W2127745558C166957645 @default.
• W2127745558 hasConceptScore W2127745558C190470478 @default.
• W2127745558 hasConceptScore W2127745558C199360897 @default.
• W2127745558 hasConceptScore W2127745558C2780654840 @default.
• W2127745558 hasConceptScore W2127745558C33923547 @default.
• W2127745558 hasConceptScore W2127745558C36503486 @default.
• W2127745558 hasConceptScore W2127745558C37914503 @default.
• W2127745558 hasConceptScore W2127745558C41008148 @default.
• W2127745558 hasConceptScore W2127745558C519991488 @default.
• W2127745558 hasConceptScore W2127745558C64543145 @default.
• W2127745558 hasConceptScore W2127745558C79581498 @default.
• W2127745558 hasConceptScore W2127745558C80444323 @default.
• W2127745558 hasConceptScore W2127745558C95457728 @default.
• W2127745558 hasLocation W21277455581 @default.
• W2127745558 hasLocation W21277455582 @default.
• W2127745558 hasOpenAccess W2127745558 @default.
• W2127745558 hasPrimaryLocation W21277455581 @default.
• W2127745558 hasRelatedWork W1591842587 @default.
• W2127745558 hasRelatedWork W2143017621 @default.
• W2127745558 hasRelatedWork W2327204559 @default.
• W2127745558 hasRelatedWork W2529681551 @default.
• W2127745558 hasRelatedWork W3017187763 @default.
• W2127745558 hasRelatedWork W4245752324 @default.
• W2127745558 hasRelatedWork W643517603 @default.
• W2127745558 hasRelatedWork W1880843538 @default.
• W2127745558 hasRelatedWork W2611182424 @default.
• W2127745558 hasRelatedWork W2789178056 @default.
• W2127745558 isParatext "false" @default.

• next