249 citations
- Utrecht UniversityNL3 papers
- Centro de AstrobiologíaES2 papers
- Instituto de Estructura de la MateriaES2 papers
- Argonne National LaboratoryUS1 paper
- Augsburg UniversityUS1 paper
- California Institute of TechnologyUS1 paper
- Consejo Superior de Investigaciones CientíficasES1 paper
- Instituto Nacional de Técnica AeroespacialES1 paper
- KTH Royal Institute of TechnologySE1 paper
- Los Alamos National LaboratoryUS1 paper
- Max Planck Institute of Quantum OpticsDE1 paper
- Oak Ridge National LaboratoryUS1 paper
Showing cs.PLShow all
3 papers · 1 filter
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.PL2004★ 2 cited
A Proof Theoretic Approach to Failure in Functional Logic Programming
Francisco Javier Lopez-Fraguas, Jaime Sanchez-Hernandez
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers…
cs.PL2004★ 14 cited
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types
Puri Arenas-Sanchez, Mario Rodriguez-Artalejo
We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors obey a set…