EnglishWe present a general, abstract method to show confluence of weakly normalizing systems. The technique consists in constructing an interpretation of the source system into a target system which is already confluent. If the interpretation satisfies certain simple conditions, then the source system is confluent. The method has been used implicitly in a number of applications, but does not seem to have been presented so far in its generality. We present, as digressions, two other methods for proving confluence.
Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11568/16309| Titolo: | On confluence for weakly normalizing systems |
| Autori interni: | GHELLI, GIORGIO |
| Anno del prodotto: | 1991 |
| Rivista: | LECTURE NOTES IN COMPUTER SCIENCE |
| Abstract: | We present a general, abstract method to show confluence of weakly normalizing systems. The technique consists in constructing an interpretation of the source system into a target system which is already confluent. If the interpretation satisfies certain simple conditions, then the source system is confluent. The method has been used implicitly in a number of applications, but does not seem to have been presented so far in its generality. We present, as digressions, two other methods for proving confluence. |
| Handle: | http://hdl.handle.net/11568/16309 |
| Appare nelle tipologie: | 4.1 Contributo in Atti di convegno |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
Copyright © 2017