TY  - CONF
T2  - 21st International Conference, ICLP 2005
EP  - 458
PB  - Springer Berlin Heidelberg
A1  - Puebla Sánchez, Alvaro Germán
A1  - Albert Albiol, Elvira
A1  - Hermenegildo, Manuel V.
ID  - upm14358
SN  - 9783540292081
UR  - http://link.springer.com/chapter/10.1007%2F11562931_32?LI=true
CY  - Heidelberg, Alemania
N2  - The relationship between abstract interpretation [2] and partial evaluation [5] has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction (see e.g. [6] and its references) and abstract interpretation perspectives. Abstract interpretation-based analyzers (such as the CiaoPP analyzer [9,4]) generally compute a program analysis graph [1] in order to propagate (abstract) call and success information by performing fixpoint computations when needed. On the other hand, partial deduction methods [7] incorporate powerful techniques for on-line specialization including (concrete) call propagation and unfolding.
TI  - A generic framework for the analysis and specialization of kogic programs
AV  - public
M2  - Sitges, Spain
Y1  - 2005///
VL  - 3668
ER  -