Abstract | ||
---|---|---|
Skew confluence was introduced as a characterization of nonconfluent term rewriting systems that had unique infinite normal forms or Bohm like trees. This notion however is not expressive enough to deal with all possible sources of non-confluence in the context of infinite terms or terms extended with letrec. We present a new notion called w-skew confluence which constitutes a sufficient and necessary condition for uniqueness. We also present a theory that can lift uniqueness results from term rewriting systems to rewriting systems on terms with letrec. We present our results in the setting of Abstract Bohm Semantics, which is a generalization of Bohm like trees to abstract reduction systems. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11601548_19 | Lecture Notes in Computer Science |
Keywords | DocType | Volume |
normal form | Conference | 3838 |
ISSN | Citations | PageRank |
0302-9743 | 0 | 0.34 |
References | Authors | |
13 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Zena M. Ariola | 1 | 482 | 38.61 |
stefan blom | 2 | 0 | 0.34 |
Aart Middeldorp | 3 | 1287 | 86.00 |
e t al | 4 | 5 | 1.22 |