FRINK Linked Data Fragments server

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

• W2953001086 abstract "This article presents the systematic design of a class of relational numerical abstract domains from non-relational ones. Constructed domains represent sets of invariants of the form (vj - vi in C), where vj and vi are two variables, and C lives in an abstraction of P(Z), P(Q), or P(R). We will call this family of domains weakly relational domains. The underlying concept allowing this construction is an extension of potential graphs and shortest-path closure algorithms in exotic-like algebras. Example constructions are given in order to retrieve well-known domains as well as new ones. Such domains can then be used in the Abstract Interpretation framework in order to design various static analyses. Amajor benfit of this construction is its modularity, allowing to quickly implement new abstract domains from existing ones." @default.
• W2953001086 created "2019-06-27" @default.
• W2953001086 creator A5069148908 @default.
• W2953001086 date "2007-03-15" @default.
• W2953001086 modified "2023-09-27" @default.
• W2953001086 title "A Few Graph-Based Relational Numerical Abstract Domains" @default.
• W2953001086 cites W131262156 @default.
• W2953001086 cites W1526619182 @default.
• W2953001086 cites W1551571370 @default.
• W2953001086 cites W1590433112 @default.
• W2953001086 cites W1605063794 @default.
• W2953001086 cites W1726736548 @default.
• W2953001086 cites W1997456729 @default.
• W2953001086 cites W2031373197 @default.
• W2953001086 cites W2043100293 @default.
• W2953001086 cites W205961229 @default.
• W2953001086 cites W2067359684 @default.
• W2953001086 cites W2084875723 @default.
• W2953001086 cites W2090286414 @default.
• W2953001086 cites W2102440514 @default.
• W2953001086 cites W2132661148 @default.
• W2953001086 cites W2145000217 @default.
• W2953001086 cites W2752885492 @default.
• W2953001086 cites W2852225 @default.
• W2953001086 cites W3158747708 @default.
• W2953001086 cites W53596869 @default.
• W2953001086 cites W60370665 @default.
• W2953001086 cites W2244843980 @default.
• W2953001086 hasPublicationYear "2007" @default.
• W2953001086 type Work @default.
• W2953001086 sameAs 2953001086 @default.
• W2953001086 citedByCount "0" @default.
• W2953001086 crossrefType "posted-content" @default.
• W2953001086 hasAuthorship W2953001086A5069148908 @default.
• W2953001086 hasConcept C10138342 @default.
• W2953001086 hasConcept C111472728 @default.
• W2953001086 hasConcept C118615104 @default.
• W2953001086 hasConcept C124101348 @default.
• W2953001086 hasConcept C124304363 @default.
• W2953001086 hasConcept C128896722 @default.
• W2953001086 hasConcept C132525143 @default.
• W2953001086 hasConcept C138885662 @default.
• W2953001086 hasConcept C146834321 @default.
• W2953001086 hasConcept C154945302 @default.
• W2953001086 hasConcept C162324750 @default.
• W2953001086 hasConcept C182306322 @default.
• W2953001086 hasConcept C199360897 @default.
• W2953001086 hasConcept C2777212361 @default.
• W2953001086 hasConcept C2778029271 @default.
• W2953001086 hasConcept C2779478453 @default.
• W2953001086 hasConcept C33923547 @default.
• W2953001086 hasConcept C34447519 @default.
• W2953001086 hasConcept C40207289 @default.
• W2953001086 hasConcept C41008148 @default.
• W2953001086 hasConcept C527412718 @default.
• W2953001086 hasConcept C54355233 @default.
• W2953001086 hasConcept C5655090 @default.
• W2953001086 hasConcept C80444323 @default.
• W2953001086 hasConcept C86803240 @default.
• W2953001086 hasConcept C99436015 @default.
• W2953001086 hasConceptScore W2953001086C10138342 @default.
• W2953001086 hasConceptScore W2953001086C111472728 @default.
• W2953001086 hasConceptScore W2953001086C118615104 @default.
• W2953001086 hasConceptScore W2953001086C124101348 @default.
• W2953001086 hasConceptScore W2953001086C124304363 @default.
• W2953001086 hasConceptScore W2953001086C128896722 @default.
• W2953001086 hasConceptScore W2953001086C132525143 @default.
• W2953001086 hasConceptScore W2953001086C138885662 @default.
• W2953001086 hasConceptScore W2953001086C146834321 @default.
• W2953001086 hasConceptScore W2953001086C154945302 @default.
• W2953001086 hasConceptScore W2953001086C162324750 @default.
• W2953001086 hasConceptScore W2953001086C182306322 @default.
• W2953001086 hasConceptScore W2953001086C199360897 @default.
• W2953001086 hasConceptScore W2953001086C2777212361 @default.
• W2953001086 hasConceptScore W2953001086C2778029271 @default.
• W2953001086 hasConceptScore W2953001086C2779478453 @default.
• W2953001086 hasConceptScore W2953001086C33923547 @default.
• W2953001086 hasConceptScore W2953001086C34447519 @default.
• W2953001086 hasConceptScore W2953001086C40207289 @default.
• W2953001086 hasConceptScore W2953001086C41008148 @default.
• W2953001086 hasConceptScore W2953001086C527412718 @default.
• W2953001086 hasConceptScore W2953001086C54355233 @default.
• W2953001086 hasConceptScore W2953001086C5655090 @default.
• W2953001086 hasConceptScore W2953001086C80444323 @default.
• W2953001086 hasConceptScore W2953001086C86803240 @default.
• W2953001086 hasConceptScore W2953001086C99436015 @default.
• W2953001086 hasLocation W29530010861 @default.
• W2953001086 hasOpenAccess W2953001086 @default.
• W2953001086 hasPrimaryLocation W29530010861 @default.
• W2953001086 hasRelatedWork W152133686 @default.
• W2953001086 hasRelatedWork W1525647423 @default.
• W2953001086 hasRelatedWork W1544564247 @default.
• W2953001086 hasRelatedWork W1652177533 @default.
• W2953001086 hasRelatedWork W1838030851 @default.
• W2953001086 hasRelatedWork W2020323164 @default.
• W2953001086 hasRelatedWork W2042178119 @default.
• W2953001086 hasRelatedWork W2044394032 @default.
• W2953001086 hasRelatedWork W2092497734 @default.
• W2953001086 hasRelatedWork W2158012017 @default.
• W2953001086 hasRelatedWork W2269367199 @default.

• next