Matches in SemOpenAlex for { <https://semopenalex.org/work/W2396577800> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2396577800 endingPage "246" @default.
- W2396577800 startingPage "229" @default.
- W2396577800 abstract "Abstract interpretation is a general methodology for building static analyses of programs. It was introduced by P. and R. Cousot in [5]. The original idea was subsequently adapted, reformulated, and applied to many programming paradigms. As a consequence, this field of research is currently rather fragmented (although very active). We present, in this paper, the main methodological aspects of a general approach which is widely applicable and was shown very effective for logic programs. We compare it to some previous proposals and argue that this approach is unifying." @default.
- W2396577800 created "2016-06-24" @default.
- W2396577800 creator A5025418652 @default.
- W2396577800 creator A5035808622 @default.
- W2396577800 date "1992-01-01" @default.
- W2396577800 modified "2023-09-24" @default.
- W2396577800 title "On the Design of Generic Abstract Interpretation Frameworks." @default.
- W2396577800 cites W128105748 @default.
- W2396577800 cites W134626815 @default.
- W2396577800 cites W1506931111 @default.
- W2396577800 cites W1522225310 @default.
- W2396577800 cites W1535051828 @default.
- W2396577800 cites W1550132862 @default.
- W2396577800 cites W1855771754 @default.
- W2396577800 cites W1998717006 @default.
- W2396577800 cites W2020530016 @default.
- W2396577800 cites W2024886390 @default.
- W2396577800 cites W2043100293 @default.
- W2396577800 cites W2074516823 @default.
- W2396577800 cites W207722629 @default.
- W2396577800 cites W2083753392 @default.
- W2396577800 cites W2098686899 @default.
- W2396577800 cites W2110108549 @default.
- W2396577800 cites W2143725258 @default.
- W2396577800 cites W246380233 @default.
- W2396577800 cites W2521486077 @default.
- W2396577800 cites W331842672 @default.
- W2396577800 cites W42890986 @default.
- W2396577800 cites W43297711 @default.
- W2396577800 cites W3035102273 @default.
- W2396577800 hasPublicationYear "1992" @default.
- W2396577800 type Work @default.
- W2396577800 sameAs 2396577800 @default.
- W2396577800 citedByCount "3" @default.
- W2396577800 crossrefType "journal-article" @default.
- W2396577800 hasAuthorship W2396577800A5025418652 @default.
- W2396577800 hasAuthorship W2396577800A5035808622 @default.
- W2396577800 hasConcept C111472728 @default.
- W2396577800 hasConcept C127413603 @default.
- W2396577800 hasConcept C138885662 @default.
- W2396577800 hasConcept C199360897 @default.
- W2396577800 hasConcept C202444582 @default.
- W2396577800 hasConcept C33923547 @default.
- W2396577800 hasConcept C41008148 @default.
- W2396577800 hasConcept C527412718 @default.
- W2396577800 hasConcept C539667460 @default.
- W2396577800 hasConcept C9652623 @default.
- W2396577800 hasConceptScore W2396577800C111472728 @default.
- W2396577800 hasConceptScore W2396577800C127413603 @default.
- W2396577800 hasConceptScore W2396577800C138885662 @default.
- W2396577800 hasConceptScore W2396577800C199360897 @default.
- W2396577800 hasConceptScore W2396577800C202444582 @default.
- W2396577800 hasConceptScore W2396577800C33923547 @default.
- W2396577800 hasConceptScore W2396577800C41008148 @default.
- W2396577800 hasConceptScore W2396577800C527412718 @default.
- W2396577800 hasConceptScore W2396577800C539667460 @default.
- W2396577800 hasConceptScore W2396577800C9652623 @default.
- W2396577800 hasLocation W23965778001 @default.
- W2396577800 hasOpenAccess W2396577800 @default.
- W2396577800 hasPrimaryLocation W23965778001 @default.
- W2396577800 hasRelatedWork W144513877 @default.
- W2396577800 hasRelatedWork W1524197594 @default.
- W2396577800 hasRelatedWork W1527990662 @default.
- W2396577800 hasRelatedWork W1558287462 @default.
- W2396577800 hasRelatedWork W1881058389 @default.
- W2396577800 hasRelatedWork W197952791 @default.
- W2396577800 hasRelatedWork W2043100293 @default.
- W2396577800 hasRelatedWork W2044058917 @default.
- W2396577800 hasRelatedWork W2081810835 @default.
- W2396577800 hasRelatedWork W2136891421 @default.
- W2396577800 hasRelatedWork W2246590443 @default.
- W2396577800 hasRelatedWork W2336500006 @default.
- W2396577800 hasRelatedWork W2526157685 @default.
- W2396577800 hasRelatedWork W2531142309 @default.
- W2396577800 hasRelatedWork W2582377764 @default.
- W2396577800 hasRelatedWork W2618038833 @default.
- W2396577800 hasRelatedWork W3092216625 @default.
- W2396577800 hasRelatedWork W3140353777 @default.
- W2396577800 hasRelatedWork W3180975139 @default.
- W2396577800 hasRelatedWork W47704402 @default.
- W2396577800 isParatext "false" @default.
- W2396577800 isRetracted "false" @default.
- W2396577800 magId "2396577800" @default.
- W2396577800 workType "article" @default.