Daniel Cabeza

Daniel Cabeza Gras

	2006
16		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		Daniel Cabeza, Manuel V. Hermenegildo, James Lipton: Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN 2004: 93-108
13		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		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		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		Daniel Cabeza Gras, Manuel V. Hermenegildo: A New Module System for Prolog. Computational Logic 2000: 131-148
	1999
8		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		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

Coauthor Index

1	Maria Garcia de la Banda (Maria J. García de la Banda)	[6]
2	Francisco Bueno	[4] [6]
3	Manuel Carro	[1] [3] [6] [12] [13]
4	Amadeo Casas	[16]
5	Jesús Correas	[12] [13]
6	J. M. Gómez	[12] [13]
7	Manuel V. Hermenegildo	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16]
8	James Lipton	[14]
9	Pedro López-García	[6]
10	Germán Puebla (German Puebla)	[4] [6]