2 papers
cs.PL2005
A Generic Framework for the Analysis and Specialization of Logic Programs
German Puebla, Elvira Albert, Manuel Hermenegildo
The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the part…
cs.DC2003
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library
Daniel Cabeza, Manuel V. Hermenegildo
We discuss from a practical point of view a number of issues involved in writing distributed Internet and WWW applications using LP/CLP systems. We describe PiLLoW, a public-domain…