Manuel Carro

According to our database, Manuel Carro authored at least 103 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Types, Modes and so Much More - The Prolog Way.

Manuel V. Hermenegildo, José F. Morales, Pedro López-García, Manuel Carro

Proceedings of the Prolog: The Next 50 Years, 2023

Prolog: Past, Present, and Future.

Gopal Gupta, Elmer Salazar, Farhad Shakerin, Joaquín Arias, Sarat Chandra Varanasi, Kinjal Basu, Huaduo Wang, Fang Li, Serdar Erbatur, Parth Padalkar, Abhiramon Rajasekharan, Yankai Zeng, Manuel Carro

Proceedings of the Prolog: The Next 50 Years, 2023

2022

Building Information Modeling Using Constraint Logic Programming.

Joaquín Arias, Seppo Törmä, Manuel Carro, Gopal Gupta

Theory Pract. Log. Program., 2022

Towards Dynamic Consistency Checking in Goal-Directed Predicate Answer Set Programming.

Joaquín Arias, Manuel Carro, Gopal Gupta

Proceedings of the Practical Aspects of Declarative Languages, 2022

An s(CASP) In-Browser Playground based on Ciao Prolog.

Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

A Short Tutorial on s(CASP), a Goal-directed Execution of Constraint Answer Set Programs.

Joaquín Arias, Gopal Gupta, Manuel Carro

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2020

A Theoretical Study of (Full) Tabled Constraint Logic Programming.

Joaquín Arias, Manuel Carro

CoRR, 2020

Justifications for Goal-Directed Constraint Answer Set Programming.

Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

2019

Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP.

Joaquín Arias, Manuel Carro

Theory Pract. Log. Program., 2019

Description, Implementation, and Evaluation of a Generic Design for Tabled CLP.

Joaquín Arias, Manuel Carro

Theory Pract. Log. Program., 2019

Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP.

Joaquín Arias, Manuel Carro

Proceedings of the Practical Aspects of Declarative Languages, 2019

Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming.

Joaquín Arias, Zhuo Chen, Manuel Carro, Gopal Gupta

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

Constraint Answer Set Programming without Grounding and its Applications.

Joaquín Arias, Manuel Carro, Zhuo Chen, Gopal Gupta

Proceedings of the Datalog 2.0 2019, 2019

2018

Constraint Answer Set Programming without Grounding.

Joaquín Arias, Manuel Carro, Elmer Salazar, Kyle Marple, Gopal Gupta

Theory Pract. Log. Program., 2018

2017

Vergleich und Kombination von Techniken des Predictive Business Process Monitoring.

Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl

Proceedings of the Software Engineering 2017, 2017

2016

Description and Optimization of Abstract Machines in a Dialect of Prolog.

José F. Morales, Manuel Carro, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2016

Introduction to the 32nd International Conference on Logic Programming Special Issue.

Manuel Carro, Andy King

Theory Pract. Log. Program., 2016

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code.

Guillermo Vigueras, Manuel Carro, Salvador Tamarit, Julio Mariño

Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems.

Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro

Proceedings of the Proceedings XVI Jornadas sobre Programación y Lenguajes, 2016

Proceedings of the First Workshop on Program Transformation for Programmability in Heterogeneous Architectures.

Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro

CoRR, 2016

Towards a Semantics-Aware Transformation Toolchain for Heterogeneous Systems.

Salvador Tamarit, Julio Mariño, Guillermo Vigueras, Manuel Carro

CoRR, 2016

Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016).

Manuel Carro, Andy King

CoRR, 2016

Description and evaluation of a generic design to integrate CLP and tabled execution.

Joaquín Arias, Manuel Carro

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Program transformations in the POLCA project.

Jan Kuper, Lutz Schubert, Kilian Kempf, Colin W. Glass, Daniel Rubio Bonilla, Manuel Carro

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

2015

Comparing and Combining Predictive Business Process Monitoring Techniques.

Andreas Metzger, Philipp Leitner, Dragan Ivanovic, Eric Schmieders, Rod Franklin, Manuel Carro, Schahram Dustdar, Klaus Pohl

IEEE Trans. Syst. Man Cybern. Syst., 2015

A Haskell Implementation of a Rule-Based Program Transformation for C Programs.

Salvador Tamarit, Guillermo Vigueras, Manuel Carro, Julio Mariño

Proceedings of the Practical Aspects of Declarative Languages, 2015

Towards a Generic Interface to Integrate CLP and Tabled Execution (Extended Abstract).

Joaquín Arias, Manuel Carro

Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31, 2015

2014

Towards QoS Prediction Based on Composition Structure Analysis and Probabilistic Models.

Dragan Ivanovic, Manuel Carro, Peerachai Kaowichakorn

Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

Transforming Service Compositions into Cloud-Friendly Actor Networks.

Dragan Ivanovic, Manuel Carro

Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

2013

A model-driven approach to teaching concurrency.

Manuel Carro, Ángel Herranz-Nieva, Julio Mariño

ACM Trans. Comput. Educ., 2013

A survey on service quality description.

Kyriakos Kritikos, Barbara Pernici, Pierluigi Plebani, Cinzia Cappiello, Marco Comuzzi, Salima Benbernou, Ivona Brandic, Attila Kertész, Michael Parkin, Manuel Carro

ACM Comput. Surv., 2013

A sharing-based approach to supporting adaptation in service compositions.

Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo

Computing, 2013

Supporting Pruning in Tabled LP.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 2013

Reversible Language Extensions and Their Application in Debugging.

Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro

Proceedings of the Practical Aspects of Declarative Languages, 2013

Towards QoS prediction based on composition structure analysis and probabilistic environment models.

Dragan Ivanovic, Peerachai Kaowichakorn, Manuel Carro

Proceedings of the 5th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2013

2012

Lightweight compilation of (C)LP to JavaScript.

José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2012

An overview of Ciao and its design philosophy.

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla

Theory Pract. Log. Program., 2012

A Segment-Swapping Approach for Executing Trapped Computations.

Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 2012

A Constraint-Based Approach to Quality Assurance in Service Choreographies.

Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

Research challenges on service technology foundations.

Dimka Karastoyanova, Dragan Ivanovic, Zsolt Németh, Manuel Carro, Claudia Di Napoli, Maurizio Giordano, Cesare Pautasso

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Analyzing service-oriented systems using their data and structure.

Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations.

Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2012

A General Implementation Framework for Tabled CLP.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

Deriving Specifications for Composite Web Services.

George Baryannis, Manuel Carro, Dimitris Plexousakis

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011

Logic Languages.

Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Encyclopedia of Parallel Computing, 2011

Parallel backtracking with answer memoing for independent and-parallelism.

Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2011

An Overview of the Ciao System.

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations.

Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

Third international workshop on principles of engineering service-oriented systems: (PESOS 2011).

Manuel Carro, Dimka Karastoyanova, Grace A. Lewis, Anna Liu

Proceedings of the 33rd International Conference on Software Engineering, 2011

Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis.

Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Logic Programming.

Manuel Carro

Proceedings of the Encyclopedia of Software Engineering, 2010

Swapping evaluation: A memory-scalable solution for answer-on-demand tabling.

Pablo Chico de Guzmán, Manuel Carro, David Scott Warren

Theory Pract. Log. Program., 2010

Analytical Quality Assurance.

Andreas Metzger, Salima Benbernou, Manuel Carro, Maha Driss, Gabor Kecskemeti, Raman Kazhamiakin, Kyriakos Kritikos, Andrea Mocci, Elisabetta Di Nitto, Branimir Wetzstein, Fabrizio Silvestri

Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Modeling and Negotiating Service Quality.

Salima Benbernou, Ivona Brandic, Cinzia Cappiello, Manuel Carro, Marco Comuzzi, Attila Kertész, Kyriakos Kritikos, Michael Parkin, Barbara Pernici, Pierluigi Plebani

Proceedings of the Service Research Challenges and Solutions for the Future Internet - S-Cube, 2010

Towards Data-Aware QoS-driven Adaptation for Service Orchestrations.

Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the IEEE International Conference on Web Services, 2010

A Soft Constraint-Based Approach to QoS-Aware Service Selection.

Mohamed Anis Zemni, Salima Benbernou, Manuel Carro

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Automatic Fragment Identification in Workflows Based on Sharing Analysis.

Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

Building Dynamic Models of Service Compositions with Simulation of Provision Resources.

Dragan Ivanovic, Martin Treiber, Manuel Carro, Schahram Dustdar

Proceedings of the Conceptual Modeling, 2010

2009

A Program Transformation for Continuation Call-Based Tabled Execution

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo

CoRR, 2009

Towards a Complete Scheme for Tabled Execution Based on Program Transformation.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 2009

An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring.

Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops, 2009

A Tabling Implementation Based on Variables with Multiple Bindings.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 25th International Conference, 2009

Modeling Concurrent Systems with Shared Resources.

Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

A Coding Rule Conformance Checker Integrated into GCC.

Guillem Marpons-Ucero, Julio Mariño, Manuel Carro, Ángel Herranz-Nieva, Lars-Åke Fredlund, Juan José Moreno-Navarro, Álvaro Polo

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Comparing tag scheme variations using an abstract machine generator.

José F. Morales, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Towards execution time estimation in abstract machine-based languages.

Edison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Automatic Coding Rule Conformance Checking Using Logic Programming.

Guillem Marpons-Ucero, Julio Mariño-Carballo, Manuel Carro, Ángel Herranz-Nieva, Juan José Moreno-Navarro, Lars-Åke Fredlund

Proceedings of the Practical Aspects of Declarative Languages, 2008

An Improved Continuation Call-Based Implementation of Tabling.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha

Proceedings of the Practical Aspects of Declarative Languages, 2008

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 2008

Sound Multi-party Business Protocols for Service Networks.

Michele Mancioppi, Manuel Carro, Willem-Jan van den Heuvel, Mike P. Papazoglou

Proceedings of the Service-Oriented Computing, 2008

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation.

Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 24th International Conference, 2008

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 24th International Conference, 2008

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla

Proceedings of the Concurrency, 2008

2007

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling

Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo

CoRR, 2007

Automatic Coding Rule Conformance Checking Using Logic Programs

Guillem Marpons-Ucero, Julio Mariño, Ángel Herranz-Nieva, Lars-Åke Fredlund, Manuel Carro, Juan José Moreno-Navarro

CoRR, 2007

Combining Static Analysis and Profiling for Estimating Execution Times.

Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2007

Towards a high-level implementation of flexible parallelism primitives for symbolic languages.

Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Parallel Symbolic Computation, 2007

2006

Towards Description and Optimization of Abstract Machines in an Extension of Prolog.

José F. Morales, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation.

Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 22nd International Conference, 2006

High-level languages for small devices: a case study.

Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the 2006 International Conference on Compilers, 2006

2005

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.

José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

An Application of Rational Trees in a Logic Programming Interpreter for a Procedural Language

Manuel Carro

CoRR, 2004

Teaching How to Derive Correct Concurrent Programs from State-Based Specifications and Code Patterns.

Manuel Carro, Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro

Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004

Improved Compilation of Prolog to C Using Moded Types and Determinism Information.

José F. Morales, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations).

Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004

2003

A Generic Persistence Model for (C)LP Systems.

Jesús Correas, José M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 19th International Conference, 2003

2000

Tools for Constraint Visualisation: The VIFID/TRIFID Tool.

Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Tools for Search-Tree Visualisation: The APT Tool.

Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

1999

Preface.

Inês de Castro Dutra, Vítor Santos Costa, Gopal Gupta, Enrico Pontelli, Manuel Carro, Péter Kacsuk

Proceedings of the Parallelism and Implementation Technology for (Constraint) Logic Programming, 1999

Concurrency in Prolog Using Threads and a Shared Database.

Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

1998

Some Design Issues in the Visualization of Constraint Logic Program Execution.

Manuel Carro, Manuel V. Hermenegildo

Proceedings of the 1998 Joint Conference on Declarative Programming, 1998

1996

Improving the Efficiency of Nondeterministic Independent and-Parallel Systems.

Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo

Comput. Lang., 1996

IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming.

M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Euro-Par '96 Parallel Processing, 1996

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems.

Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla

Proceedings of the 1996 Joint Conf. on Declarative Programming, 1996

1995

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems.

Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro

Proceedings of the Logic Programming, 1995

Relating Data-Parallelism and (And-) Parallelism in Logic Programs.

Manuel V. Hermenegildo, Manuel Carro

Proceedings of the Euro-Par '95 Parallel Processing, 1995

1994

Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems.

Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro

Proceedings of the ILPS 94 Workshop on Design and Implementation of Parallel Logic Programming Systems, 1994

Last Parallel Call Optimization and Fast Backtracking in And-parallel Logic Programming Systems.

Dongxing Tang, Enrico Pontelli, Gopal Gupta, Manuel Carro

Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

A Note on Data-Parallelism and (And-Parallel) Prolog.

Manuel V. Hermenegildo, Manuel Carro

Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups.

M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Parallel and Data Parallel Execution of Logic Programs, 1994

1993

Some Paradigms for Visualizing Parallel Execution of Logic Programs.

Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 1993

1992

Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs.

Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Workshop on Concurrent and Parallel Implementations (sessions A and B), 1992