A. Casas

Automatic unrestricted independent and-parallelism in declarative multiparadigm languages

Amadeo Casas, Gregory L. Heileman, G. Heileman, 2008 .

Towards a high-level implementation of flexible parallelism primitives for symbolic languages

Manuel V. Hermenegildo, Manuel Carro, Amadeo Casas, 2007, PASCO '07.

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism

Manuel V. Hermenegildo, Manuel Carro, Amadeo Casas, 2008, PADL.

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

Manuel V. Hermenegildo, Amadeo Casas, Daniel Cabeza, 2006, FLOPS.

Parallel backtracking with answer memoing for independent and-parallelism

Manuel V. Hermenegildo, Manuel Carro, Amadeo Casas, 2011, Theory and Practice of Logic Programming.

A Segment-Swapping Approach for Executing Trapped Computations

Manuel V. Hermenegildo, Manuel Carro, Amadeo Casas, 2012, PADL.

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism

Manuel V. Hermenegildo, Manuel Carro, Amadeo Casas, 2008, ICLP.

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs

Manuel V. Hermenegildo, Manuel Carro, Amadeo Casas, 2008, LOPSTR.