2009 |
43 | EE | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo:
Towards a Complete Scheme for Tabled Execution Based on Program Transformation.
PADL 2009: 224-238 |
42 | EE | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo:
A Program Transformation for Continuation Call-Based Tabled Execution
CoRR abs/0901.3906: (2009) |
2008 |
41 | EE | Manuel V. Hermenegildo,
Francisco Bueno,
Manuel Carro,
Pedro López,
José F. Morales,
Germán Puebla:
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.
Concurrency, Graphs and Models 2008: 209-237 |
40 | EE | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.
ICLP 2008: 651-666 |
39 | EE | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo:
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.
ICLP 2008: 795-800 |
38 | EE | Michele Mancioppi,
Manuel Carro,
Willem-Jan van den Heuvel,
Mike P. Papazoglou:
Sound Multi-party Business Protocols for Service Networks.
ICSOC 2008: 302-316 |
37 | EE | Guillem Marpons-Ucero,
Julio Mariño-Carballo,
Manuel Carro,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro,
Lars-Åke Fredlund:
Automatic Coding Rule Conformance Checking Using Logic Programming.
PADL 2008: 18-34 |
36 | EE | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo,
Cláudio Silva,
Ricardo Rocha:
An Improved Continuation Call-Based Implementation of Tabling.
PADL 2008: 197-213 |
35 | 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 |
34 | EE | Edison Mera,
Pedro López-García,
Manuel Carro,
Manuel V. Hermenegildo:
Towards execution time estimation in abstract machine-based languages.
PPDP 2008: 174-184 |
33 | EE | José F. Morales,
Manuel Carro,
Manuel V. Hermenegildo:
Comparing tag scheme variations using an abstract machine generator.
PPDP 2008: 32-43 |
2007 |
32 | EE | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.
LOPSTR 2007: 138-153 |
31 | EE | Edison Mera,
Pedro López-García,
Germán Puebla,
Manuel Carro,
Manuel V. Hermenegildo:
Combining Static Analysis and Profiling for Estimating Execution Times.
PADL 2007: 140-154 |
30 | EE | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Towards a high-level implementation of flexible parallelism primitives for symbolic languages.
PASCO 2007: 93-94 |
29 | EE | Guillem Marpons-Ucero,
Julio Mariño,
Ángel Herranz-Nieva,
Lars-Åke Fredlund,
Manuel Carro,
Juan José Moreno-Navarro:
Automatic Coding Rule Conformance Checking Using Logic Programs
CoRR abs/0711.0344: (2007) |
28 | EE | Edison Mera,
Pedro López-García,
Germán Puebla,
Manuel Carro,
Manuel V. Hermenegildo:
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling
CoRR abs/cs/0701108: (2007) |
2006 |
27 | EE | Manuel Carro,
José F. Morales,
Henk L. Muller,
Germán Puebla,
Manuel V. Hermenegildo:
High-level languages for small devices: a case study.
CASES 2006: 271-281 |
26 | EE | Edison Mera,
Pedro López-García,
Germán Puebla,
Manuel Carro,
Manuel V. Hermenegildo:
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.
ICLP 2006: 431-432 |
25 | EE | José F. Morales,
Manuel Carro,
Manuel V. Hermenegildo:
Towards Description and Optimization of Abstract Machines in an Extension of Prolog.
LOPSTR 2006: 77-93 |
2005 |
24 | EE | José F. Morales,
Manuel Carro,
Germán Puebla,
Manuel V. Hermenegildo:
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.
ICLP 2005: 21-36 |
2004 |
23 | EE | Jesús Correas,
J. M. Gómez,
Manuel Carro,
Daniel Cabeza,
Manuel V. Hermenegildo:
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).
PADL 2004: 104-119 |
22 | EE | José F. Morales,
Manuel Carro,
Manuel V. Hermenegildo:
Improved Compilation of Prolog to C Using Moded Types and Determinism Information.
PADL 2004: 86-103 |
21 | EE | Manuel Carro,
Julio Mariño,
Ángel Herranz-Nieva,
Juan José Moreno-Navarro:
Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.
TFM 2004: 85-106 |
20 | EE | Manuel Carro:
An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language
CoRR cs.DS/0403028: (2004) |
2003 |
19 | EE | Jesús Correas,
J. M. Gómez,
Manuel Carro,
Daniel Cabeza Gras,
Manuel V. Hermenegildo:
A Generic Persistence Model for (C)LP Systems.
ICLP 2003: 481-482 |
2000 |
18 | | Manuel Carro,
Manuel V. Hermenegildo:
Tools for Search-Tree Visualisation: The APT Tool.
Analysis and Visualization Tools for Constraint Programming 2000: 237-252 |
17 | | Manuel Carro,
Manuel V. Hermenegildo:
Tools for Constraint Visualisation: The VIFID/TRIFID Tool.
Analysis and Visualization Tools for Constraint Programming 2000: 253-272 |
1999 |
16 | | Manuel Carro,
Manuel V. Hermenegildo:
Concurrency in Prolog Using Threads and a Shared Database.
ICLP 1999: 320-334 |
15 | EE | Inês de Castro Dutra,
Vítor Santos Costa,
Gopal Gupta,
Enrico Pontelli,
Manuel Carro,
Péter Kacsuk:
Preface.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
1998 |
14 | | Manuel Carro,
Manuel V. Hermenegildo:
Some Design Issues in the Visualization of Constraint Logic Program Execution.
APPIA-GULP-PRODE 1998: 71-86 |
1996 |
13 | | Manuel V. Hermenegildo,
Francisco Bueno,
Daniel Cabeza,
Manuel Carro,
Maria J. García de la Banda,
Pedro López-García,
Germán Puebla:
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.
APPIA-GULP-PRODE 1996: 105-110 |
12 | | M. J. Fernández,
Manuel Carro,
Manuel V. Hermenegildo:
IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming.
Euro-Par, Vol. II 1996: 724-733 |
11 | | Enrico Pontelli,
Gopal Gupta,
Dongxing Tang,
Manuel Carro,
Manuel V. Hermenegildo:
Improving the Efficiency of Nondeterministic Independent and-Parallel Systems.
Comput. Lang. 22(2/3): 115-142 (1996) |
10 | | Manuel V. Hermenegildo,
Manuel Carro:
Relating Data-Parallelism and (and-) Parallelism in Logic Programs.
Comput. Lang. 22(2/3): 143-163 (1996) |
1995 |
9 | | Manuel V. Hermenegildo,
Manuel Carro:
Relating Data-Parallelism and (And-) Parallelism in Logic Programs.
Euro-Par 1995: 27-41 |
8 | | Manuel V. Hermenegildo,
Daniel Cabeza Gras,
Manuel Carro:
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems.
ICLP 1995: 631-645 |
1994 |
7 | EE | M. J. Fernández,
Manuel Carro,
Manuel V. Hermenegildo:
IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups.
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 107-122 |
6 | EE | Manuel V. Hermenegildo,
Manuel Carro:
A Note on Data-Parallelism and (And-Parallel) Prolog.
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 49-64 |
5 | EE | Tang Dong Xing,
Enrico Pontelli,
Gopal Gupta,
Manuel Carro:
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.
ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 93-106 |
4 | | Dongxing Tang,
Enrico Pontelli,
Gopal Gupta,
Manuel Carro:
Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.
SLP 1994: 683-684 |
3 | | Manuel V. Hermenegildo,
Daniel Cabeza Gras,
Manuel Carro:
Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems.
Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 42-53 |
1993 |
2 | | Manuel Carro,
Luis Manuel Gómez Henríquez,
Manuel V. Hermenegildo:
Some Paradigms for Visualizing Parallel Execution of Logic Programs.
ICLP 1993: 184-200 |
1992 |
1 | | Luis Manuel Gómez Henríquez,
Manuel Carro,
Manuel V. Hermenegildo:
Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs.
IJCSLP Workshop on Concurrent and Parallel Implementations 1992 |