Sciweavers

Share
GG
2010
Springer

Local Confluence for Rules with Nested Application Conditions

11 years 11 months ago
Local Confluence for Rules with Nested Application Conditions
Abstract. Local confluence is an important property in many rewriting and transformation systems. The notion of critical pairs is central for being able to verify local confluence of rewriting systems in a static way. Critical pairs are defined already in the framework of graphs and adhesive rewriting systems. These systems may hold rules with or without negative application conditions. In this paper however, we consider rules with more general application conditions -- also called nested application conditions -- which in the graph case are equivalent to finite first-order graph conditions. The classical critical pair notion denotes conflicting transformations in a minimal context satisfying the application conditions. This is no longer true for combinations of positive and negative application conditions -- an important special case of nested ones -- where we have to allow that critical pairs do not satisfy all the application conditions. This leads to a new notion of critical pairs ...
Hartmut Ehrig, Annegret Habel, Leen Lambers, Ferna
Added 09 Nov 2010
Updated 09 Nov 2010
Type Conference
Year 2010
Where GG
Authors Hartmut Ehrig, Annegret Habel, Leen Lambers, Fernando Orejas, Ulrike Golas
Comments (0)
books