Daniel Cabeza

According to our database, Daniel Cabeza authored at least 15 papers between 1994 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Non-strict independence-based program parallelization using sharing and freeness information.

Daniel Cabeza Gras, Manuel V. Hermenegildo

Theor. Comput. Sci., 2009

2006

A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems.

Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo

Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

2004

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).

Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.

Daniel Cabeza, Manuel V. Hermenegildo, James Lipton

Proceedings of the Advances in Computer Science, 2004

2003

A Generic Persistence Model for (C)LP Systems.

Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 19th International Conference, 2003

2001

Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library.

Daniel Cabeza Gras, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2001

2000

A New Module System for Prolog.

Daniel Cabeza Gras, Manuel V. Hermenegildo

Proceedings of the Computational Logic, 2000

1999

The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library.

Daniel Cabeza Gras, Manuel V. Hermenegildo

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

The Ciao Module System: A New Module System for Prolog.

Daniel Cabeza Gras, Manuel V. Hermenegildo

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

1996

Global Analysis of Standard Prolog Programs.

Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla

Proceedings of the Programming Languages and Systems, 1996

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.

Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

Implementing Distributed Concurrent Constraint Execution in the CIAO System.

Daniel Cabeza, Manuel V. Hermenegildo

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems.

Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro

Proceedings of the Logic Programming, 1995

1994

Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems.

Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro

Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994

Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information.

Daniel Cabeza Gras, Manuel V. Hermenegildo

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994