Document Search Results - zbMATH Open

×

from until

Sorting

Found 11 Documents (Results 1–11)

Newest Citations Relevance

Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel V.; Pontelli, Enrico; Rocha, Ricardo

Parallel logic programming: a sequel. (English) Zbl 1541.68067

Theory Pract. Log. Program. 22, No. 6, 905-973 (2022).

MSC: 68N17 68N19

Cite Review PDF

Full Text: DOI arXiv

Körner, Philipp; Leuschel, Michael; Barbosa, João; Santos Costa, Vítor; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni

Fifty years of Prolog and beyond. (English) Zbl 1541.68071

Theory Pract. Log. Program. 22, No. 6, 776-858 (2022).

MSC: 68N17 68-03

Cite Review PDF

Full Text: DOI arXiv

OA License

Ivanović, Dragan; Carro, Manuel; Hermenegildo, Manuel V.

A sharing-based approach to supporting adaptation in service compositions. (English) Zbl 1314.68065

Computing 95, No. 6, 453-492 (2013).

MSC: 68M14 68U35 68Q85 68Q60

Cite Review PDF

Full Text: DOI Link

Annotation of logic programs for independent AND-parallelism by partial evaluation. (English) Zbl 1260.68068

Theory Pract. Log. Program. 12, No. 4-5, 583-600 (2012).

MSC: 68N17 68N30

Cite Review PDF

Full Text: DOI arXiv

Hermenegildo, M. V.; Bueno, F.; Carro, M.; López-García, P.; Mera, E.; Morales, J. F.; Puebla, G.

An overview of Ciao and its design philosophy. (English) Zbl 1244.68019

Theory Pract. Log. Program. 12, No. 1-2, 219-252 (2012).

MSC: 68N17 68N15 68N20

Cite Review PDF

Full Text: DOI

De Guzmán, Pablo Chico; Casas, Amadeo; Carro, Manuel; Hermenegildo, Manuel V.

Parallel backtracking with answer memoing for independent and-parallelism. (English) Zbl 1222.68056

Theory Pract. Log. Program. 11, No. 4-5, 555-574 (2011).

MSC: 68N17

Cite Review PDF

Full Text: DOI arXiv

Gras, Daniel Cabeza; Hermenegildo, Manuel V.

Non-strict independence-based program parallelization using sharing and freeness information. (English) Zbl 1187.68123

Theor. Comput. Sci. 410, No. 46, 4704-4723 (2009).

MSC: 68N17 68N20

Cite Review PDF

Full Text: DOI Link

Casas, Amadeo; Carro, Manuel; Hermenegildo, Manuel V.

A high-level implementation of non-deterministic, unrestricted, independent and-parallelism. (English) Zbl 1185.68152

Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 651-666 (2008).

MSC: 68N17

Cite Review PDF

Full Text: DOI Link

Casas, Amadeo; Carro, Manuel; Hermenegildo, Manuel V.

Annotation algorithms for unrestricted independent and-parallelism in logic programs. (English) Zbl 1179.68022

King, Andy (ed.), Logic-based program synthesis and transformation. 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23–24, 2007. Revised selected papers. Berlin: Springer (ISBN 978-3-540-78768-6/pbk). Lecture Notes in Computer Science 4915, 138-153 (2008).

MSC: 68N17

Cite Review PDF

Full Text: DOI Link

Alonso, Cesar L.; Vela, Camino R.; Varela, Ramiro; Puente, Jorge

Ordered structures for parallel rule-based computations. (English) Zbl 0990.68043

Int. J. Comput. Math. 78, No. 4, 499-520 (2001).

MSC: 68N19

Cite Review PDF

Full Text: DOI

Gupta, Gopal; Pontelli, Enrico

Optimization schemas for parallel implementation of non-deterministic languages and systems. (English) Zbl 0984.68734

Software. Practice & Experience 31, No. 12, 1143-1181 (2001).

MSC: 68U99 68N17

Cite Review PDF

Full Text: DOI

Filter Results by …

Document Type

Journal Articles (9)
Collection Articles (2)

all top 5

Author

Serial

all top 5

Year of Publication

2022 (2)
2013 (1)
2012 (2)
2011 (1)
2009 (1)
2008 (2)
2001 (2)

Main Field

68-XX (11)

all top 3

Software

© 2024 FIZ Karlsruhe GmbH Privacy Policy Legal Notices Terms & Conditions