Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158735282> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2158735282 endingPage "32" @default.
- W2158735282 startingPage "15" @default.
- W2158735282 abstract "Abstract interpretation provides an elegant formalism for performing program analysis. Unfortunately, designing and implementing a sound, precise, scalable, and extensible abstract interpreter is difficult. In this paper, we describe an approach to creating correct-by-construction abstract interpreters that also attain the fundamental limits on precision that abstract-interpretation theory establishes. Our approach requires the analysis designer to implement only a small number of operations. In particular, we describe a systematic method for implementing an abstract interpreter that solves the following problem:Given program P, and an abstract domain A, find the most-precise inductive A-invariant for P." @default.
- W2158735282 created "2016-06-24" @default.
- W2158735282 creator A5002505238 @default.
- W2158735282 creator A5029756316 @default.
- W2158735282 creator A5029930688 @default.
- W2158735282 creator A5066155126 @default.
- W2158735282 date "2015-02-01" @default.
- W2158735282 modified "2023-10-17" @default.
- W2158735282 title "PostHat and All That: Automating Abstract Interpretation" @default.
- W2158735282 cites W1480370622 @default.
- W2158735282 cites W148396834 @default.
- W2158735282 cites W1485150864 @default.
- W2158735282 cites W1497571013 @default.
- W2158735282 cites W1498946538 @default.
- W2158735282 cites W1500085611 @default.
- W2158735282 cites W1507006488 @default.
- W2158735282 cites W1507199453 @default.
- W2158735282 cites W1525445889 @default.
- W2158735282 cites W1568212182 @default.
- W2158735282 cites W1575079504 @default.
- W2158735282 cites W1605468179 @default.
- W2158735282 cites W1691700263 @default.
- W2158735282 cites W1810972023 @default.
- W2158735282 cites W190752300 @default.
- W2158735282 cites W1908449836 @default.
- W2158735282 cites W1973680906 @default.
- W2158735282 cites W1986447758 @default.
- W2158735282 cites W2014764321 @default.
- W2158735282 cites W2043100293 @default.
- W2158735282 cites W2080573945 @default.
- W2158735282 cites W2101936540 @default.
- W2158735282 cites W2110908283 @default.
- W2158735282 cites W2125076295 @default.
- W2158735282 cites W2125189388 @default.
- W2158735282 cites W2132661148 @default.
- W2158735282 cites W2170371367 @default.
- W2158735282 cites W2171834078 @default.
- W2158735282 cites W2172022734 @default.
- W2158735282 cites W2267520439 @default.
- W2158735282 doi "https://doi.org/10.1016/j.entcs.2015.02.003" @default.
- W2158735282 hasPublicationYear "2015" @default.
- W2158735282 type Work @default.
- W2158735282 sameAs 2158735282 @default.
- W2158735282 citedByCount "17" @default.
- W2158735282 countsByYear W21587352822014 @default.
- W2158735282 countsByYear W21587352822015 @default.
- W2158735282 countsByYear W21587352822016 @default.
- W2158735282 countsByYear W21587352822017 @default.
- W2158735282 countsByYear W21587352822019 @default.
- W2158735282 countsByYear W21587352822020 @default.
- W2158735282 countsByYear W21587352822021 @default.
- W2158735282 countsByYear W21587352822022 @default.
- W2158735282 countsByYear W21587352822023 @default.
- W2158735282 crossrefType "journal-article" @default.
- W2158735282 hasAuthorship W2158735282A5002505238 @default.
- W2158735282 hasAuthorship W2158735282A5029756316 @default.
- W2158735282 hasAuthorship W2158735282A5029930688 @default.
- W2158735282 hasAuthorship W2158735282A5066155126 @default.
- W2158735282 hasBestOaLocation W21587352821 @default.
- W2158735282 hasConcept C115903868 @default.
- W2158735282 hasConcept C199360897 @default.
- W2158735282 hasConcept C2780654840 @default.
- W2158735282 hasConcept C41008148 @default.
- W2158735282 hasConcept C527412718 @default.
- W2158735282 hasConceptScore W2158735282C115903868 @default.
- W2158735282 hasConceptScore W2158735282C199360897 @default.
- W2158735282 hasConceptScore W2158735282C2780654840 @default.
- W2158735282 hasConceptScore W2158735282C41008148 @default.
- W2158735282 hasConceptScore W2158735282C527412718 @default.
- W2158735282 hasLocation W21587352821 @default.
- W2158735282 hasLocation W21587352822 @default.
- W2158735282 hasOpenAccess W2158735282 @default.
- W2158735282 hasPrimaryLocation W21587352821 @default.
- W2158735282 hasRelatedWork W1546990306 @default.
- W2158735282 hasRelatedWork W2062066235 @default.
- W2158735282 hasRelatedWork W2172022734 @default.
- W2158735282 hasRelatedWork W2386369021 @default.
- W2158735282 hasRelatedWork W2952657391 @default.
- W2158735282 hasRelatedWork W3137189469 @default.
- W2158735282 hasRelatedWork W3169777496 @default.
- W2158735282 hasRelatedWork W4243252198 @default.
- W2158735282 hasRelatedWork W4245681215 @default.
- W2158735282 hasRelatedWork W817135640 @default.
- W2158735282 hasVolume "311" @default.
- W2158735282 isParatext "false" @default.
- W2158735282 isRetracted "false" @default.
- W2158735282 magId "2158735282" @default.
- W2158735282 workType "article" @default.