dblp.uni-trier.dewww.uni-trier.de

Daniel Cabeza

Daniel Cabeza Gras

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2006
16EEAmadeo 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
14EEDaniel Cabeza, Manuel V. Hermenegildo, James Lipton: Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN 2004: 93-108
13EEJesú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
12EEJesú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
11EEDaniel 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
9EEDaniel Cabeza Gras, Manuel V. Hermenegildo: A New Module System for Prolog. Computational Logic 2000: 131-148
1999
8EEDaniel Cabeza Gras, Manuel V. Hermenegildo: The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. Electr. Notes Theor. Comput. Sci. 30(3): (1999)
7EEDaniel 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

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)