- -

Listar por palabra clave "Partial evaluation"

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Listar por palabra clave "Partial evaluation"

Ordenar por:Orden:Resultados:

  • thumb
    A hybrid approach to conjunctive partial evaluation of logic programs 
    Vidal Oriola, Germán Francisco (Springer Verlag (Germany), 2011)
    Conjunctive partial deduction is a well-known technique for the partial evaluation of logic programs. The original formulation follows the so called online approach where all termination decisions are taken on-the-fly. In ...
  • thumb
    Annotation of logic programs for independent AND-Parallelism by partial evaluation 
    Vidal Oriola, Germán Francisco (Cambridge University Press (CUP), 2012-07)
    Traditional approaches to automatic AND-parallelization of logic programs rely on some static analysis to identify independent goals that can be safely and efficiently run in parallel in any possible execution. In this ...
  • thumb
    Diseño y Desarrollo de una Técnica y Sistema de Especialización Incremental en Maude 
    Galán Pascual, Daniel (Universitat Politècnica de València, 2021-09-15)
    [ES] El estado del arte en el diseño de herramientas de especialización automática de código está enfocado a la construcción de herramientas monolíticas, donde se priman la automatización completa y la eficiencia frente a ...
  • thumb
    Fast Offline Partial Evaluation of Logic Programs 
    Leuschel, Michael; Vidal Oriola, Germán Francisco (Elsevier, 2014-04)
    One of the most important challenges in partial evaluation is the design of automatic methods for ensuring the termination of the process. In this work, we introduce sufficient conditions for the strong (i.e., independent ...
  • thumb
    Partial Evaluation of Rewriting Logic Theories 
    Cuenca Ortega, Ángel Eduardo (Universitat Politècnica de València, 2019-11-04)
    [ES] La evaluación parcial de programas es una técnica general y potente de optimización de programas que preserva su semántica y tiene muchas aplicaciones relevantes. La optimización se consigue al especializar programas ...
  • thumb
    Symbolic Specialization of Rewriting Logic Theories with Presto 
    Alpuente Frasnedo, María; Escobar Román, Santiago; Ballis, Demis; Sapiña-Sanchis, Julia (Cambridge University Press, 2022-05)
    [EN] This paper introduces Presto, a symbolic partial evaluator for Maude's rewriting logic theories that can improve system analysis and verification. In Presto, the automated optimization of a conditional rewrite theory ...