Cálculo automático de la eficiencia asintótica de programas imperativos
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/122295
Tipus de documentText en actes de congrés
Data publicació1997
EditorAsociación Española de Informática y Automática (AEIA)
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
Se presenta en este artículo una propuesta para el cálculo automático del tiempo de ejecución de los programas imperativos, medido con la notación asintótica O grande, y considerando el peor de los casos en el comportamiento de los programas. Para ello, se propone tratar el tiempo de ejecución como un atributo sintetizado de la gramática, y damos las reglas de cálculo adecuadas para un lenguaje de trabajo representativo del paradigma imperativo, destacando la eventual necesidad de definir reglas parametrizadas y de añadir en los programas información relativa a la eficiencia. Se introduce asi mismo el concepto de esqueleto para especificar patrones de combinación de operaciones con una eficiencia potencialmente diferente de la que se calcularía con las reglas estándar. Los resultados de la eficiencia se ofrecen simplificados al máximo gracias a la aplicación de unas propiedades de los operadores de la notación O.
CitacióFranch, X., Vancells, J. Cálculo automático de la eficiencia asintótica de programas imperativos. A: Jornadas de Informática. "III Jornadas de Informática: El Puerto de Santa María (Cádiz), 14 al 18 de julio 1997: actas". Asociación Española de Informática y Automática (AEIA), 1997, p. 383-392.
ISBN84-8498-463-X
Col·leccions
- GESSI - Grup d'Enginyeria del Software i dels Serveis - Ponències/Comunicacions de congressos [197]
- inSSIDE - integrated Software, Service, Information and Data Engineering - Ponències/Comunicacions de congressos [332]
- Departament d'Enginyeria de Serveis i Sistemes d'Informació - Ponències/Comunicacions de congressos [529]
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Calculo_automatico.pdf | 1,475Mb | Visualitza/Obre |