- -

Listar por autor "Galán Pascual, Daniel"

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

Listar por autor "Galán Pascual, Daniel"

Ordenar por:Orden:Resultados:

  • thumb
    A Partial Evaluation Methodology for Optimizing Rewrite Theories Incrementally 
    Alpuente Frasnedo, María; Ballis, Demis; Escobar Román, Santiago; Galán-Pascual, Daniel; Sapiña-Sanchis, Julia (Elsevier, 2022)
    [EN] Partial evaluation (PE) is a branch of computer science that achieves code optimization via specialization. This article describes a PE methodology for optimizing rewrite theories that encode concurrent as well as ...
  • 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
    Safety enforcement via programmable strategies in Maude 
    Galán Pascual, Daniel (Universitat Politècnica de València, 2022-09-20)
    [ES] El objetivo de este trabajo es formalizar un mecanismo general para garantizar la seguridad de las computaciones en lógica de reescritura. La técnica propuesta consiste en una transformación de programas que garantiza ...