BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Casas:Amadeo

Contributed to:

PADL 20122012
ICLP 20112011
ICLP 20082008
PADL 20082008
LOPSTR 20072007
FLOPS 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.