Títol:
|
Un nuevo enfoque jerárquico para la reescritura condicional
|
Autor/a:
|
Navarro Gomez, Marisa; Orejas Valdés, Fernando
|
Altres autors:
|
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Facultat d'Informàtica de Barcelona; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
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. |
Abstract:
|
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. |
Matèries:
|
-Àrees temàtiques de la UPC::Informàtica::Programació -Computer programming -Programació (Ordinadors) |
Drets:
|
|
Tipus de document:
|
Article - Versió publicada Objecte de conferència |
Publicat per:
|
Asociación Española de Informática y Automática
|
Compartir:
|
|