The following pages link to Manuel Carro (Q488322):
Displaying 20 items.
- A sharing-based approach to supporting adaptation in service compositions (Q488324) (← links)
- An overview of Ciao and its design philosophy (Q2893101) (← links)
- Parallel backtracking with answer memoing for independent and-parallelism (Q3087444) (← links)
- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy (Q3507366) (← links)
- Swapping evaluation: A memory-scalable solution for answer-on-demand tabling (Q3585156) (← links)
- Towards Description and Optimization of Abstract Machines in an Extension of Prolog (Q3591073) (← links)
- (Q4013997) (← links)
- Constraint Answer Set Programming without Grounding (Q4559798) (← links)
- Description and Optimization of Abstract Machines in a Dialect of Prolog (Q4593018) (← links)
- Lightweight compilation of (C)LP to JavaScript (Q4911147) (← links)
- Description, Implementation, and Evaluation of a Generic Design for Tabled CLP (Q4957184) (← links)
- (Q5020962) (← links)
- Building Information Modeling Using Constraint Logic Programming (Q5038474) (← links)
- Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming (Q5097632) (← links)
- Evaluation of the Implementation of an Abstract Interpretation Algorithm using Tabled CLP (Q5108525) (← links)
- Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (Q5449623) (← links)
- Logic Programming (Q5475767) (← links)
- Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs (Q5504598) (← links)
- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (Q5504687) (← links)
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming (Q6063873) (← links)
