( en | de | ru )

 

Disambiguation of "Gras, Daniel Cabeza"

Author of the publication

copydeleteadd this publication to your clipboard
Global Analysis of Standard Prolog Programs.

, , , and . ESOP, volume 1058 of Lecture Notes in Computer Science, page 108-124. Springer, (1996)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karim Gras

Birgit Gras

Marius Gras

Christiane Gras

Philippe Gras

 

Other publications of authors with the same name

Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library., and . Theory Pract. Log. Program., 1 (3): 251-282 (2001)Global Analysis of Standard Prolog Programs., , , and . ESOP, volume 1058 of Lecture Notes in Computer Science, page 108-124. Springer, (1996)Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems., , and . Workshop on Design and Impl. of Parallel Logic Programming Systems, page 42-53. (1994)Non-strict independence-based program parallelization using sharing and freeness information., and . Theor. Comput. Sci., 410 (46): 4704-4723 (2009)The Ciao Module System: A New Module System for Prolog., and . Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, volume 30 of Electronic Notes in Theoretical Computer Science, page 122-142. Elsevier, (1999)Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information., and . SAS, volume 864 of Lecture Notes in Computer Science, page 297-313. Springer, (1994)Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems., , and . ICLP, page 631-645. MIT Press, (1995)A Generic Persistence Model for (C)LP Systems., , , , and . ICLP, volume 2916 of Lecture Notes in Computer Science, page 481-482. Springer, (2003)A New Module System for Prolog., and . Computational Logic, volume 1861 of Lecture Notes in Computer Science, page 131-148. Springer, (2000)The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library., and . Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, volume 30 of Electronic Notes in Theoretical Computer Science, page 144-162. Elsevier, (1999)