Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951679972> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2951679972 abstract "The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpretation perspectives. In this work we present what we argue is the first fully described generic algorithm for efficient and precise integration of abstract interpretation and partial deduction. Taking as starting point state-of-the-art algorithms for context-sensitive, polyvariant abstract interpretation and (abstract) partial deduction, we present an algorithm which combines the best of both worlds. Key ingredients include the accurate success propagation inherent to abstract interpretation and the powerful program transformations achievable by partial deduction. In our algorithm, the calls which appear in the analysis graph are not analyzed w.r.t. the original definition of the procedure but w.r.t. specialized definitions of these procedures. Such specialized definitions are obtained by applying both unfolding and abstract executability. Our framework is parametric w.r.t. different control strategies and abstract domains. Different combinations of such parameters correspond to existing algorithms for program analysis and specialization. Simultaneously, our approach opens the door to the efficient computation of strictly more precise results than those achievable by each of the individual techniques. The algorithm is now one of the key components of the CiaoPP analysis and specialization system." @default.
- W2951679972 created "2019-06-27" @default.
- W2951679972 creator A5038492725 @default.
- W2951679972 creator A5073531919 @default.
- W2951679972 creator A5091905437 @default.
- W2951679972 date "2005-08-24" @default.
- W2951679972 modified "2023-10-01" @default.
- W2951679972 title "A Generic Framework for the Analysis and Specialization of Logic Programs" @default.
- W2951679972 cites W1520791584 @default.
- W2951679972 cites W1522408124 @default.
- W2951679972 cites W1541434994 @default.
- W2951679972 cites W1556604985 @default.
- W2951679972 cites W1572167572 @default.
- W2951679972 cites W1706172200 @default.
- W2951679972 cites W1871975842 @default.
- W2951679972 cites W2008609084 @default.
- W2951679972 cites W2037035101 @default.
- W2951679972 cites W2043100293 @default.
- W2951679972 cites W2048831705 @default.
- W2951679972 cites W207722629 @default.
- W2951679972 cites W2085729865 @default.
- W2951679972 cites W2151036935 @default.
- W2951679972 cites W2151897509 @default.
- W2951679972 cites W2156049870 @default.
- W2951679972 cites W2163660741 @default.
- W2951679972 cites W1526063741 @default.
- W2951679972 hasPublicationYear "2005" @default.
- W2951679972 type Work @default.
- W2951679972 sameAs 2951679972 @default.
- W2951679972 citedByCount "0" @default.
- W2951679972 crossrefType "posted-content" @default.
- W2951679972 hasAuthorship W2951679972A5038492725 @default.
- W2951679972 hasAuthorship W2951679972A5073531919 @default.
- W2951679972 hasAuthorship W2951679972A5091905437 @default.
- W2951679972 hasConcept C105795698 @default.
- W2951679972 hasConcept C11413529 @default.
- W2951679972 hasConcept C117251300 @default.
- W2951679972 hasConcept C132525143 @default.
- W2951679972 hasConcept C151730666 @default.
- W2951679972 hasConcept C195701839 @default.
- W2951679972 hasConcept C199360897 @default.
- W2951679972 hasConcept C26517878 @default.
- W2951679972 hasConcept C2779343474 @default.
- W2951679972 hasConcept C2780654840 @default.
- W2951679972 hasConcept C33923547 @default.
- W2951679972 hasConcept C38652104 @default.
- W2951679972 hasConcept C41008148 @default.
- W2951679972 hasConcept C45374587 @default.
- W2951679972 hasConcept C527412718 @default.
- W2951679972 hasConcept C80444323 @default.
- W2951679972 hasConcept C86803240 @default.
- W2951679972 hasConceptScore W2951679972C105795698 @default.
- W2951679972 hasConceptScore W2951679972C11413529 @default.
- W2951679972 hasConceptScore W2951679972C117251300 @default.
- W2951679972 hasConceptScore W2951679972C132525143 @default.
- W2951679972 hasConceptScore W2951679972C151730666 @default.
- W2951679972 hasConceptScore W2951679972C195701839 @default.
- W2951679972 hasConceptScore W2951679972C199360897 @default.
- W2951679972 hasConceptScore W2951679972C26517878 @default.
- W2951679972 hasConceptScore W2951679972C2779343474 @default.
- W2951679972 hasConceptScore W2951679972C2780654840 @default.
- W2951679972 hasConceptScore W2951679972C33923547 @default.
- W2951679972 hasConceptScore W2951679972C38652104 @default.
- W2951679972 hasConceptScore W2951679972C41008148 @default.
- W2951679972 hasConceptScore W2951679972C45374587 @default.
- W2951679972 hasConceptScore W2951679972C527412718 @default.
- W2951679972 hasConceptScore W2951679972C80444323 @default.
- W2951679972 hasConceptScore W2951679972C86803240 @default.
- W2951679972 hasLocation W29516799721 @default.
- W2951679972 hasOpenAccess W2951679972 @default.
- W2951679972 hasPrimaryLocation W29516799721 @default.
- W2951679972 hasRelatedWork W1500011337 @default.
- W2951679972 hasRelatedWork W1531814151 @default.
- W2951679972 hasRelatedWork W1553543780 @default.
- W2951679972 hasRelatedWork W1594686791 @default.
- W2951679972 hasRelatedWork W171365577 @default.
- W2951679972 hasRelatedWork W1827200617 @default.
- W2951679972 hasRelatedWork W1872155400 @default.
- W2951679972 hasRelatedWork W1886576782 @default.
- W2951679972 hasRelatedWork W2000782239 @default.
- W2951679972 hasRelatedWork W2069351967 @default.
- W2951679972 hasRelatedWork W2092795970 @default.
- W2951679972 hasRelatedWork W2116776985 @default.
- W2951679972 hasRelatedWork W2162194376 @default.
- W2951679972 hasRelatedWork W2321700612 @default.
- W2951679972 hasRelatedWork W2398283587 @default.
- W2951679972 hasRelatedWork W3042721370 @default.
- W2951679972 hasRelatedWork W3049435308 @default.
- W2951679972 hasRelatedWork W3178184849 @default.
- W2951679972 hasRelatedWork W978016938 @default.
- W2951679972 hasRelatedWork W106230839 @default.
- W2951679972 isParatext "false" @default.
- W2951679972 isRetracted "false" @default.
- W2951679972 magId "2951679972" @default.
- W2951679972 workType "article" @default.