Un nuevo enfoque jerárquico para la reescritura condicional
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/109007
Tipus de documentText en actes de congrés
Data publicació1985
EditorAsociación Española de Informática y Automática
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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.
CitacióNavarro, M., Orejas, F. Un nuevo enfoque jerárquico para la reescritura condicional. A: Congreso de Informática y Automática. "Actas del VI Congreso de Informática y Automática". Madrid: Asociación Española de Informática y Automática, 1985, p. 471-475.
Dipòsit legalM-33466-1985
ISBN84-7402-174-X
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400015138471.pdf | 1,911Mb | Visualitza/Obre |