Skip to main content

7 Result(s)

within Pablo Chico de Guzmán Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    \(\textit{i2kit}\) : A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines

    Container virtualization technologies, like Docker, are becoming increasingly popular. Containers provide exceptional developer experience because containers offer lightweight isolation and ease of software di...

    Pablo Chico de Guzmán, Felipe Gorostiaga… in Web Information Systems Engineering – WISE… (2018)

  2. No Access

    Chapter and Conference Paper

    Supporting Pruning in Tabled LP

    This paper analyzes issues which appear when supporting pruning operators in tabled LP. A version of the once/1 control predicate tailored for tabled predicates is presented, and an implementation analyzed and ev...

    Pablo Chico de Guzmán, Manuel Carro… in Practical Aspects of Declarative Languages (2013)

  3. No Access

    Chapter and Conference Paper

    A Segment-Swap** Approach for Executing Trapped Computations

    We consider the problem of supporting goal-level, independent and-parallelism (IAP) in the presence of non-determinism. IAP is exploited when two or more goals which will not interfere at run time are schedule...

    Pablo Chico de Guzmán, Amadeo Casas… in Practical Aspects of Declarative Languages (2012)

  4. No Access

    Chapter and Conference Paper

    A General Implementation Framework for Tabled CLP

    This paper describes a framework to combine tabling evaluation and constraint logic programming (TCLP). While this combination has been studied previously from a theoretical point of view and some implementati...

    Pablo Chico de Guzmán, Manuel Carro… in Functional and Logic Programming (2012)

  5. No Access

    Chapter and Conference Paper

    A Tabling Implementation Based on Variables with Multiple Bindings

    Suspension-based tabling systems have to save and restore computation states belonging to OR branches. Stack freezing combined with (forward) trailing is among the better-known implementation approaches for th...

    Pablo Chico de Guzmán, Manuel Carro, Manuel Hermenegildo in Logic Programming (2009)

  6. No Access

    Chapter and Conference Paper

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

    Tabled evaluation has proved to be an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. “Native” implementations of tabled evaluation offer go...

    Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo in Logic Programming (2008)

  7. No Access

    Chapter and Conference Paper

    An Improved Continuation Call-Based Implementation of Tabling

    Tabled evaluation has been proved an effective method to improve several aspects of goal-oriented query evaluation, including termination and complexity. Several “native” implementations of tabled evaluation h...

    Pablo Chico de Guzmán, Manuel Carro… in Practical Aspects of Declarative Languages (2008)