Reescritura de términos y Narrowing

URI permanente para esta colección:

https://hdl.handle.net/11705/PROLE/2022/RTN
Artículos en la categoría Reescritura de términos y Narrowing publicados en las Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022).
Notificar un error en esta colección

Examinar

Envíos recientes

Mostrando 1 - 2 de 2
  • Miniatura
    Resumen
    A characterization of local confluence of conditional term rewriting systems
    Lucas, Salvador. Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022), 2022-09-05.
    When using non-deterministic reduction-based systems, guaranteeing that two diverging steps can be eventually rejoined is crucial for a faithful use in most applications. This property of reduction systems is called local confluence. Gérard Huet provided a characterization of local confluence for term rewriting systems. In conditional term rewriting systems, reduction steps may depend on the satisfaction of specific conditions in rules. Although conditional rewriting was introduced and used already in the 1970s and deeply investigated in the early 1980s, only partial characterizations or sufficient conditions of local confluence of conditional term rewriting have been obtained so far. In this paper, we char- acterize local confluence of conditional rewrite systems as the joinability of a set of conditional pairs including the usual conditional critical pairs and a new kind of pairs we call conditional variable pairs.
  • Miniatura
    Resumen
    An Efficient Canonical Narrowing Implementation for Protocol Analysis
    López Rueda, Raúl; Escobar, Santiago; Meseguer, José. Actas de las XXI Jornadas de Programación y Lenguajes (PROLE 2022), 2022-09-05.
    14th International Workshop on Rewriting Logic and its Applications (WRLA 2022)