Matches in SemOpenAlex for { <https://semopenalex.org/work/W1424885608> ?p ?o ?g. }
Showing items 1 to 79 of
79
with 100 items per page.
- W1424885608 endingPage "464" @default.
- W1424885608 startingPage "450" @default.
- W1424885608 abstract "Algorithmic deduction and abstract interpretation are two widely used and successful approaches to implementing program verifiers. A major impediment to combining these approaches is that their mathematical foundations and implementation approaches are fundamentally different. This paper presents a new, logical perspective on abstract interpreters that perform reachability analysis using non-relational domains. We encode reachability of a location in a control-flow graph as satisfiability in a monadic, second-order logic parameterized by a first-order theory. We show that three components of an abstract interpreter, the lattice, transformers and iteration algorithm, represent a first-order, substructural theory, parametric deduction and abduction in that theory, and second-order constraint propagation." @default.
- W1424885608 created "2016-06-24" @default.
- W1424885608 creator A5054947709 @default.
- W1424885608 creator A5077439185 @default.
- W1424885608 date "2015-01-01" @default.
- W1424885608 modified "2023-09-27" @default.
- W1424885608 title "Abstract Interpretation as Automated Deduction" @default.
- W1424885608 cites W1503472559 @default.
- W1424885608 cites W1568212182 @default.
- W1424885608 cites W1584674264 @default.
- W1424885608 cites W1810972023 @default.
- W1424885608 cites W1826040061 @default.
- W1424885608 cites W1908449836 @default.
- W1424885608 cites W2014764321 @default.
- W1424885608 cites W2040152339 @default.
- W1424885608 cites W2043100293 @default.
- W1424885608 cites W2110499608 @default.
- W1424885608 cites W2125915999 @default.
- W1424885608 cites W2127145687 @default.
- W1424885608 cites W2140856295 @default.
- W1424885608 cites W2154687874 @default.
- W1424885608 cites W2158735282 @default.
- W1424885608 cites W2168496583 @default.
- W1424885608 cites W3015129868 @default.
- W1424885608 cites W4243887386 @default.
- W1424885608 cites W4255990314 @default.
- W1424885608 cites W92559813 @default.
- W1424885608 doi "https://doi.org/10.1007/978-3-319-21401-6_31" @default.
- W1424885608 hasPublicationYear "2015" @default.
- W1424885608 type Work @default.
- W1424885608 sameAs 1424885608 @default.
- W1424885608 citedByCount "2" @default.
- W1424885608 countsByYear W14248856082016 @default.
- W1424885608 crossrefType "book-chapter" @default.
- W1424885608 hasAuthorship W1424885608A5054947709 @default.
- W1424885608 hasAuthorship W1424885608A5077439185 @default.
- W1424885608 hasBestOaLocation W14248856082 @default.
- W1424885608 hasConcept C11413529 @default.
- W1424885608 hasConcept C122783720 @default.
- W1424885608 hasConcept C136643341 @default.
- W1424885608 hasConcept C165464430 @default.
- W1424885608 hasConcept C168773769 @default.
- W1424885608 hasConcept C199360897 @default.
- W1424885608 hasConcept C2780654840 @default.
- W1424885608 hasConcept C41008148 @default.
- W1424885608 hasConcept C527412718 @default.
- W1424885608 hasConcept C80444323 @default.
- W1424885608 hasConceptScore W1424885608C11413529 @default.
- W1424885608 hasConceptScore W1424885608C122783720 @default.
- W1424885608 hasConceptScore W1424885608C136643341 @default.
- W1424885608 hasConceptScore W1424885608C165464430 @default.
- W1424885608 hasConceptScore W1424885608C168773769 @default.
- W1424885608 hasConceptScore W1424885608C199360897 @default.
- W1424885608 hasConceptScore W1424885608C2780654840 @default.
- W1424885608 hasConceptScore W1424885608C41008148 @default.
- W1424885608 hasConceptScore W1424885608C527412718 @default.
- W1424885608 hasConceptScore W1424885608C80444323 @default.
- W1424885608 hasLocation W14248856081 @default.
- W1424885608 hasLocation W14248856082 @default.
- W1424885608 hasLocation W14248856083 @default.
- W1424885608 hasLocation W14248856084 @default.
- W1424885608 hasOpenAccess W1424885608 @default.
- W1424885608 hasPrimaryLocation W14248856081 @default.
- W1424885608 hasRelatedWork W1864138857 @default.
- W1424885608 hasRelatedWork W2074638034 @default.
- W1424885608 hasRelatedWork W2114370098 @default.
- W1424885608 hasRelatedWork W2159835799 @default.
- W1424885608 hasRelatedWork W2280519102 @default.
- W1424885608 hasRelatedWork W2537710561 @default.
- W1424885608 hasRelatedWork W3043232031 @default.
- W1424885608 hasRelatedWork W4319604614 @default.
- W1424885608 hasRelatedWork W4383046710 @default.
- W1424885608 hasRelatedWork W1880843538 @default.
- W1424885608 isParatext "false" @default.
- W1424885608 isRetracted "false" @default.
- W1424885608 magId "1424885608" @default.
- W1424885608 workType "book-chapter" @default.