Files in this item



application/pdfcoherence.pdf (564kB)
(no description provided)PDF


Title:Strict Coherence of Conditional Rewriting Modulo Axioms
Author(s):Meseguer, José
Subject(s):Conditional rewriting modulo equations, coherence, order-sorted specifications, operational termination, Church-Rosser property.
Abstract:Conditional rewriting modulo axioms with rich types makes specifications and declarative programs very expressive and succinct and is used in all well-known rule-based languages. However, the current foundations of rewriting modulo axioms have focused for the most part on the unconditional and untyped case. The main purpose of this work is to generalize the foundations of rewriting modulo axioms to the conditional order-sorted case. A related goal is to simplify such foundations. In particular, even in the unconditional case, the notion of strict coherence proposed here makes rewriting modulo axioms simpler and easier to understand. Good properties of strictly coherent conditional theories, like operational equi-termination of the R/B and R;B relations and general conditions for the conditional Church-Rosser property modulo B are also studied.
Issue Date:2014-08
Citation Info:Technical Report, Computer Science Department, University of Illinois at Urbana-Champaign, August 2014.
Genre:Technical Report
Sponsor:Partially Supported by NSF Grant CNS 13-19109.
Date Available in IDEALS:2014-08-29

This item appears in the following Collection(s)

Item Statistics