Un nuevo enfoque jerárquico para la reescritura condicional

Abstract

En este artículo se presenta un nuevo método de reescritura orientado a la ejecución de especificaciones condicionales y basado en la noción de jerarquía. este método, como otros métodos jerárquicos, evita los problemas de terminación, en la evaluación de condiciones que puedan aparecer en la reescritura condicional. Se demuestra que el nuevo método es más general que el utilizado usualmente.

In this paper we introduce a new rewriting method oriented towards the execution of conditional specifications and based on the notion of hierarchy. This mehod, as other hierarchical methods, avoids the termination problems when evaluating conditions. We prove that the new method is more general than the one one most commonly usd.