| 2008 |
|---|
| 5 | EE | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.
ICLP 2008: 651-666 |
| 4 | EE | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.
PADL 2008: 230-247 |
| 2007 |
|---|
| 3 | EE | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.
LOPSTR 2007: 138-153 |
| 2 | EE | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Towards a high-level implementation of flexible parallelism primitives for symbolic languages.
PASCO 2007: 93-94 |
| 2006 |
|---|
| 1 | EE | Amadeo 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 |
