V. v. Oostrom. Developing develpments. Technical Report ISRL-94-4, Basic Research Laboratories, NTT, Japan, December 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Confluence without Termination via Parallel Critical Pairs - Gramlich (1996) (3 citations) (Correct)
.... f(f(a) which is strongly joinable in the sense of PCPC(i) due to f(f(a) f(b) Hence, parallel reduction in R is strongly confluent. Similar refinements are also possible for Theorem 3.7. Another direction of extending our approach is to combine it with the recent results of van Oostrom ([Oos94b]) who showed that the approach of Huet Toyama can be generalized by replacing parallel reduction steps by the more general so called (complete) developments, using essentially the same proof structure as in Theorem 3.7. 10 The basic idea of developments roughly is that a set of rewrite steps ....
....steps by the more general so called (complete) developments, using essentially the same proof structure as in Theorem 3.7. 10 The basic idea of developments roughly is that a set of rewrite steps is considered to be parallel if a parallel extraction of all the steps in the set is possible ([Oos94b]) This implies for instance, that in a (left linear) TRS a derivation s = oel p oe 0 l ;oe 0 ;l r oe 0 r (with p q for some q 2 VP os(l) can be viewed as a single parallel step. It seems that our approach via parallel critical pairs developed in this paper and the approach of van ....
V. v. Oostrom. Developing develpments. Technical Report ISRL-94-4, Basic Research Laboratories, NTT, Japan, December 1994.
Confluence without Termination via Parallel Critical Pairs - Gramlich (1996) (3 citations) (Correct)
.... f(f(a) which is strongly joinable in the sense of PCPC(i) due to f(f(a) f(b) Hence, parallel reduction in R is strongly confluent. Similar refinements are also possible for Theorem 8. Another direction of extending our approach is to combine it with the recent results of van Oostrom ([9]) who showed that the approach of Huet Toyama can be generalized by replacing parallel reduction steps by the more general so called (complete) developments, using essentially the same proof structure as in Theorem 8. 12 The basic idea of developments roughly is that a set of rewrite steps is ....
....steps by the more general so called (complete) developments, using essentially the same proof structure as in Theorem 8. 12 The basic idea of developments roughly is that a set of rewrite steps is considered to be parallel if a parallel extraction of all the steps in the set is possible ([9]) This implies for instance, that in a (left linear) TRS a derivation s = oel p oe 0 l ;oe 0 ;l r oe 0 r (with p q for some q 2 VP os(l) can be viewed as a single parallel step. It seems that our approach via parallel critical pairs and the approach of van Oostrom generalizing the ....
[Article contains additional citation context not shown here]
V. Oostrom. Developing developments. Technical Report ISRL-94-4, Basic Research Laboratories, NTT, Japan, Dec. 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC