| 2006 |
|---|
| 16 | EE | Amadeo Casas,
Daniel Cabeza,
Manuel V. Hermenegildo:
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.
FLOPS 2006: 146-162 |
| 2005 |
|---|
| 15 | | Manuel V. Hermenegildo,
Daniel Cabeza:
Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
Springer 2005 |
| 2004 |
|---|
| 14 | EE | Daniel Cabeza,
Manuel V. Hermenegildo,
James Lipton:
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.
ASIAN 2004: 93-108 |
| 13 | EE | Jesús Correas,
J. M. Gómez,
Manuel Carro,
Daniel Cabeza,
Manuel V. Hermenegildo:
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).
PADL 2004: 104-119 |
| 2003 |
|---|
| 12 | EE | Jesús Correas,
J. M. Gómez,
Manuel Carro,
Daniel Cabeza Gras,
Manuel V. Hermenegildo:
A Generic Persistence Model for (C)LP Systems.
ICLP 2003: 481-482 |
| 11 | EE | Daniel Cabeza,
Manuel V. Hermenegildo:
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library
CoRR cs.DC/0312031: (2003) |
| 2001 |
|---|
| 10 | | Daniel Cabeza Gras,
Manuel V. Hermenegildo:
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library.
TPLP 1(3): 251-282 (2001) |
| 2000 |
|---|
| 9 | EE | Daniel Cabeza Gras,
Manuel V. Hermenegildo:
A New Module System for Prolog.
Computational Logic 2000: 131-148 |
| 1999 |
|---|
| 8 | EE | Daniel Cabeza Gras,
Manuel V. Hermenegildo:
The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
| 7 | EE | Daniel Cabeza Gras,
Manuel V. Hermenegildo:
The Ciao Module System: A New Module System for Prolog.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
| 1996 |
|---|
| 6 | | 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: 105-110 |
| 5 | | Daniel Cabeza,
Manuel V. Hermenegildo:
Implementing Distributed Concurrent Constraint Execution in the CIAO System.
APPIA-GULP-PRODE 1996: 67-78 |
| 4 | | Francisco Bueno,
Daniel Cabeza Gras,
Manuel V. Hermenegildo,
Germán Puebla:
Global Analysis of Standard Prolog Programs.
ESOP 1996: 108-124 |
| 1995 |
|---|
| 3 | | Manuel V. Hermenegildo,
Daniel Cabeza Gras,
Manuel Carro:
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems.
ICLP 1995: 631-645 |
| 1994 |
|---|
| 2 | | Daniel Cabeza Gras,
Manuel V. Hermenegildo:
Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information.
SAS 1994: 297-313 |
| 1 | | Manuel V. Hermenegildo,
Daniel Cabeza Gras,
Manuel Carro:
Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems.
Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 42-53 |
