Follow
Manuel Carro
Manuel Carro
IMDEA Software Institute and Universidad Politécnica de Madrid
Verified email at imdea.org
Title
Cited by
Cited by
Year
An overview of Ciao and its design philosophy
MV Hermenegildo, F Bueno, M Carro, P López-García, E Mera, ...
Theory and Practice of Logic Programming 12 (1-2), 219-252, 2012
2012012
A survey on service quality description
K Kritikos, B Pernici, P Plebani, C Cappiello, M Comuzzi, S Benrernou, ...
ACM Computing Surveys (CSUR) 46 (1), 1-58, 2013
1532013
Comparing and combining predictive business process monitoring techniques
A Metzger, P Leitner, D Ivanović, E Schmieders, R Franklin, M Carro, ...
IEEE Transactions on Systems, Man, and Cybernetics: Systems 45 (2), 276-290, 2014
1512014
The CIAO multi-dialect compiler and system: An experimentation workbench for future (C) LP systems
MV Hermenegildo, F Bueno Carrillo, D Cabeza Gras, M Carro Liñares, ...
Informatica, 1996
1191996
The Ciao prolog system
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ...
Reference Manual. The Ciao System Documentation Series–TR CLIP3/97.1, School …, 1997
1181997
Constraint answer set programming without grounding
J Arias, M Carro, E Salazar, K Marple, G Gupta
Theory and Practice of Logic Programming 18 (3-4), 337-354, 2018
742018
Concurrency in Prolog Using Threads and a Shared Database.
M Carro, MV Hermenegildo
ICLP, 320-334, 1999
721999
Constraint-based runtime prediction of SLA violations in service orchestrations
D Ivanović, M Carro, M Hermenegildo
International Conference on Service-Oriented Computing, 62-76, 2011
632011
Using attributed variables in the implementation of concurrent and parallel logic programming systems
MV Hermenegildo, D Cabeza Gras, M Carro Liñares
MIT Press, 1995
601995
Towards data-aware qos-driven adaptation for service orchestrations
D Ivanovic, M Carro, M Hermenegildo
2010 IEEE International Conference on Web Services, 107-114, 2010
522010
Improved compilation of Prolog to C using moded types and determinism information
J Morales, M Carro, M Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 86-103, 2004
46*2004
Some Paradigms for Visualizing Parallel Execution of Logic Programs.
M Carro, LMG Henríquez, MV Hermenegildo
ICLP 93, 184-201, 1993
441993
The Ciao System. Ref. Manual (v1. 13)
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ...
Technical report, CS School (UPM), 2006. Available at http://www. ciaohome. org, 2006
372006
Combining static analysis and profiling for estimating execution times
E Mera, P López-García, G Puebla, M Carro, MV Hermenegildo
International Symposium on Practical Aspects of Declarative Languages, 140-154, 2007
35*2007
Tools for constraint visualisation: The VIFID/TRIFID tool
M Carro, M Hermenegildo
Analysis and Visualization Tools for Constraint Programming, 253-272, 2000
352000
An improved continuation call-based implementation of tabling
P Chico de Guzmán, M Carro, MV Hermenegildo, C Silva, R Rocha
International Symposium on Practical Aspects of Declarative Languages, 197-213, 2008
322008
High-level languages for small devices: a case study
M Carro, JF Morales, HL Muller, G Puebla, M Hermenegildo
Proceedings of the 2006 international conference on Compilers, architecture …, 2006
322006
The Ciao System. Reference Manual (v1. 13)
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ...
Distributed from the URL http://www. ciaohome. org, 2004
32*2004
The CIAO prolog system: reference manual
F Bueno, D Cabeza, M Carro, M Hermenegildo, P López-Garcıa, ...
School of Computer Science, Technical University of Madrid (UPM), Tech. Rep …, 1997
321997
Relating data-parallelism and (and-) parallelism in logic programs
MV Hermenegildo, M Carro
Computer languages 22 (2-3), 143-163, 1996
32*1996
The system can't perform the operation now. Try again later.
Articles 1–20