- -

Listar por palabra clave "Narrowing"

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

Listar por palabra clave "Narrowing"

Ordenar por:Orden:Resultados:

  • thumb
    An Efficient Canonical Narrowing Implementation with Irreducibility and SMT Constraints for Generic Symbolic Protocol Analysis 
    López-Rueda, Raúl; Escobar Román, Santiago; Sapiña-Sanchis, Julia (Elsevier, 2023-10)
    [EN] Narrowing and unification are very useful tools for symbolic analysis of rewrite theories, and thus for any model that can be specified in that way. A very clear example of their application is the field of formal ...
  • thumb
    Evaluación Parcial Offline Dirigida por Narrowing: Técnicas de Optimización y Aplicaciones 
    Arroyo Delgado, Gustavo (Universitat Politècnica de València, 2012-10-30)
    La evaluación parcial (EP) de programas es una técnica formal para la especialización y optimización de programas. Un evaluador parcial toma un programa y sólo una parte de sus datos de entrada (los llamados datos estáticos) ...
  • thumb
    Inspecting Maude Variants with GLINTS 
    Alpuente Frasnedo, María; Cuenca-Ortega, Angel; Escobar Román, Santiago; Sapiña-Sanchis, Julia (Cambridge University Press, 2017)
    [EN] This paper introduces GLINTS, a graphical tool for exploring variant narrowing computations in Maude. The most recent version of Maude, version 2.7.1, provides quite sophisticated unification features, including ...
  • thumb
    Narrowing and Unification in the Maude Programming Language 
    López Rueda, Raúl (Universitat Politècnica de València, 2021-10-06)
    [ES] Los protocolos de seguridad en las comunicaciones evolucionan cada día buscando mejoras y corrección de errores, muchos de los cuales pueden llevar a vulnerabilidades con consecuencias fatales. Por ello, se vuelve de ...
  • thumb
    OPTIMIZANDO LA EVALUACIÓN PARCIAL OFFLINE DIRIGIDA POR NARROWING 
    Arroyo Delgado, Gustavo (Universitat Politècnica de València, 2011-11-04)
    Este trabajo presenta un nuevo esquema para la evaluación parcial de programas lógico funcionales siguiendo el esquema conocido como "offline". La principal novedad se basa en el uso de un análisis de cambio de tamaño para ...
  • thumb
    Protocol analysis modulo combination of theories: A case study in Maude-NPA 
    Sasse, Ralf; Escobar Román, Santiago; Meadows, Catherine; Meseguer, José (Springer Verlag (Germany), 2011)
    There is a growing interest in formal methods and tools to analyze cryptographic protocols modulo algebraic properties of their underlying cryptographic functions. It is well-known that an intruder who uses algebraic ...
  • thumb
    Reglas y estrategias de transformación para programas lógico-funcionales 
    Moreno Valverde, Ginés Damián (Universitat Politècnica de València, 2009-05-20)
    El problema de la integración d ela programación lógica y funcional estaá considerado como uno de los más importantes en el área de investigación sobre programación declarativa. Para que los lenguajes declarativos sean ...
  • thumb
    Symbolic Analysis of Maude Theories with Narval 
    Alpuente Frasnedo, María; Escobar Román, Santiago; Sapiña-Sanchis, Julia; Ballis, Demis (Cambridge University Press, 2019-09)
    [EN] Concurrent functional languages that are endowed with symbolic reasoning capabilities such as Maude offer a high-level, elegant, and efficient approach to programming and analyzing complex, highly nondeterministic ...
  • 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 ...
  • thumb
    Termination of Narrowing with Dependency Pairs 
    Iborra López, José (Universitat Politècnica de València, 2011-11-28)
    In this work, we generalize the Dependency Pairs approach for automated proofs of termination to prove the termination of narrowing.We identify the phenomenon of echoing in infinite narrowing derivations and demonstrate ...
  • thumb
    Una aproximación offline a la evaluación parcial dirigida por narrowing 
    Ramos Díaz, J. Guadalupe (Universitat Politècnica de València, 2008-05-06)
    La evaluación parcial dirigida por narrowing (NPE: Narrowing-driven Partial Evaluation) es una técnica potente para la especialización de sistemas de reescritura, i.e., para el componente de primer orden de muchos lenguajes ...