Daniel Cabeza

Publication Activity (10 Years)

Years Active: 1996-2006
Publications (10 Years): 0

Publications

Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. FLOPS (2006)
Daniel Cabeza, Manuel V. Hermenegildo, James Lipton
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN (2004)
Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). PADL (2004)
Daniel Cabeza, Manuel V. Hermenegildo
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library CoRR (2003)
Daniel Cabeza, Manuel V. Hermenegildo
Implementing Distributed Concurrent Constraint Execution in the CIAO System. APPIA-GULP-PRODE (1996)
Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE (1996)