Matches in SemOpenAlex for { <https://semopenalex.org/work/W2151036935> ?p ?o ?g. }
- W2151036935 endingPage "463" @default.
- W2151036935 startingPage "413" @default.
- W2151036935 abstract "Recently the relationship between abstract interpretation and program specialization has received a lot of scrutiny, and the need has been identified to extend program specialization techniques so as to make use of more refined abstract domains and operators. This article clarifies this relationship in the context of logic programming, by expressing program specialization in terms of abstract interpretation. Based on this, a novel specialization framework, along with generic correctness results for computed answers and finite failure under SLD-resolution, is developed.This framework can be used to extend existing logic program specialization methods, such as partial deduction and conjunctive partial deduction, to make use of more refined abstract domains. It is also shown how this opens up the way for new optimizations. Finally, as shown in the paper, the framework also enables one to prove correctness of new or existing specialization techniques in a simpler manner.The framework has already been applied in the literature to develop and prove correct specialization algorithms using regular types, which in turn have been applied to the verification of infinite state process algebras." @default.
- W2151036935 created "2016-06-24" @default.
- W2151036935 creator A5058847017 @default.
- W2151036935 date "2004-05-01" @default.
- W2151036935 modified "2023-10-18" @default.
- W2151036935 title "A framework for the integration of partial evaluation and abstract interpretation of logic programs" @default.
- W2151036935 cites W1487533857 @default.
- W2151036935 cites W1492471923 @default.
- W2151036935 cites W1508161107 @default.
- W2151036935 cites W153405243 @default.
- W2151036935 cites W1544096846 @default.
- W2151036935 cites W1604951084 @default.
- W2151036935 cites W1706172200 @default.
- W2151036935 cites W1965377774 @default.
- W2151036935 cites W1979101142 @default.
- W2151036935 cites W1985933047 @default.
- W2151036935 cites W1987962669 @default.
- W2151036935 cites W1991589943 @default.
- W2151036935 cites W2000782239 @default.
- W2151036935 cites W2008251703 @default.
- W2151036935 cites W2008662807 @default.
- W2151036935 cites W2009286786 @default.
- W2151036935 cites W2009332552 @default.
- W2151036935 cites W2016889996 @default.
- W2151036935 cites W2023299380 @default.
- W2151036935 cites W2024886390 @default.
- W2151036935 cites W2026803730 @default.
- W2151036935 cites W2031552811 @default.
- W2151036935 cites W2037035101 @default.
- W2151036935 cites W2037439718 @default.
- W2151036935 cites W2041655838 @default.
- W2151036935 cites W2042211420 @default.
- W2151036935 cites W2043100293 @default.
- W2151036935 cites W2048831705 @default.
- W2151036935 cites W2056410280 @default.
- W2151036935 cites W2058958439 @default.
- W2151036935 cites W2069076448 @default.
- W2151036935 cites W2069926280 @default.
- W2151036935 cites W2070902236 @default.
- W2151036935 cites W2075981544 @default.
- W2151036935 cites W207722629 @default.
- W2151036935 cites W2077436409 @default.
- W2151036935 cites W2081810835 @default.
- W2151036935 cites W2114277297 @default.
- W2151036935 cites W2116776985 @default.
- W2151036935 cites W2118383426 @default.
- W2151036935 cites W2125977928 @default.
- W2151036935 cites W2135124683 @default.
- W2151036935 cites W2137818097 @default.
- W2151036935 cites W2147335415 @default.
- W2151036935 cites W2151897509 @default.
- W2151036935 cites W2208923056 @default.
- W2151036935 cites W3021058630 @default.
- W2151036935 cites W4206370914 @default.
- W2151036935 cites W4248512189 @default.
- W2151036935 doi "https://doi.org/10.1145/982158.982159" @default.
- W2151036935 hasPublicationYear "2004" @default.
- W2151036935 type Work @default.
- W2151036935 sameAs 2151036935 @default.
- W2151036935 citedByCount "26" @default.
- W2151036935 countsByYear W21510369352013 @default.
- W2151036935 countsByYear W21510369352015 @default.
- W2151036935 countsByYear W21510369352016 @default.
- W2151036935 countsByYear W21510369352017 @default.
- W2151036935 countsByYear W21510369352018 @default.
- W2151036935 countsByYear W21510369352019 @default.
- W2151036935 countsByYear W21510369352020 @default.
- W2151036935 countsByYear W21510369352023 @default.
- W2151036935 crossrefType "journal-article" @default.
- W2151036935 hasAuthorship W2151036935A5058847017 @default.
- W2151036935 hasBestOaLocation W21510369351 @default.
- W2151036935 hasConcept C128838566 @default.
- W2151036935 hasConcept C138268822 @default.
- W2151036935 hasConcept C151730666 @default.
- W2151036935 hasConcept C195701839 @default.
- W2151036935 hasConcept C199360897 @default.
- W2151036935 hasConcept C2779343474 @default.
- W2151036935 hasConcept C2780654840 @default.
- W2151036935 hasConcept C41008148 @default.
- W2151036935 hasConcept C527412718 @default.
- W2151036935 hasConcept C55439883 @default.
- W2151036935 hasConcept C80444323 @default.
- W2151036935 hasConcept C86803240 @default.
- W2151036935 hasConcept C98183937 @default.
- W2151036935 hasConceptScore W2151036935C128838566 @default.
- W2151036935 hasConceptScore W2151036935C138268822 @default.
- W2151036935 hasConceptScore W2151036935C151730666 @default.
- W2151036935 hasConceptScore W2151036935C195701839 @default.
- W2151036935 hasConceptScore W2151036935C199360897 @default.
- W2151036935 hasConceptScore W2151036935C2779343474 @default.
- W2151036935 hasConceptScore W2151036935C2780654840 @default.
- W2151036935 hasConceptScore W2151036935C41008148 @default.
- W2151036935 hasConceptScore W2151036935C527412718 @default.
- W2151036935 hasConceptScore W2151036935C55439883 @default.
- W2151036935 hasConceptScore W2151036935C80444323 @default.
- W2151036935 hasConceptScore W2151036935C86803240 @default.
- W2151036935 hasConceptScore W2151036935C98183937 @default.
- W2151036935 hasIssue "3" @default.