Travelled to:1 × Denmark
1 × Italy
1 × Japan
2 × USA
Collaborated with:M.V.Hermenegildo M.Carro P.C.d.Guzmán D.Cabeza
Talks about:parallel (5) independ (4) unrestrict (3) implement (2) approach (2) execut (2) level (2) high (2) determinist (1) backtrack (1)
Person: Amadeo Casas
DBLP: Casas:Amadeo
Contributed to:
2012
201120082008
2007
2006Wrote 6 papers:
- PADL-2012-GuzmanCCH #approach
- A Segment-Swapping Approach for Executing Trapped Computations (PCdG, AC, MC, MVH), pp. 138–152.
- ICLP-J-2011-GuzmanCCH #backtracking #independence #parallel
- Parallel backtracking with answer memoing for independent and-parallelism (PCdG, AC, MC, MVH), pp. 555–574.
- ICLP-2008-CasasCH #implementation #independence #nondeterminism #strict
- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 651–666.
- PADL-2008-CasasCH #execution #implementation #independence #strict #towards
- Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism (AC, MC, MVH), pp. 230–247.
- LOPSTR-2007-CasasCH #algorithm #independence #logic programming #source code #strict
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (AC, MC, MVH), pp. 138–153.
- FLOPS-2006-CasasCH #approach #evaluation #functional #higher-order #lazy evaluation
- A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems (AC, DC, MVH), pp. 146–162.