Amadeo Casas

According to our database, Amadeo Casas authored at least 7 papers between 2006 and 2012.

Collaborative distances:

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

2012

A Segment-Swapping Approach for Executing Trapped Computations.

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

Proceedings of the Practical Aspects of Declarative Languages, 2012

2011

Parallel backtracking with answer memoing for independent and-parallelism.

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

Theory Pract. Log. Program., 2011

2008

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

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 2008

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

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

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

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Parallel Symbolic Computation, 2007

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