dblp.uni-trier.dewww.uni-trier.de

Amadeo Casas

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Daniel Cabeza (Daniel Cabeza Gras) [1]
2Manuel Carro [2] [3] [4] [5]
3Manuel V. Hermenegildo [1] [2] [3] [4] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)