Dealing with non-functional properties in an imperative programming language
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/96878
Tipus de documentReport de recerca
Data publicació1995-10
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
An extension of a modular imperative programming language is presented. This extension is aimed to support the automatic selection of implementations depending on their behaviour with respect to time and space efficiency, which is measured using the big-Oh asymptotic notation. The language provides some constructs to state both efficiency behaviour of public types and functions and efficiency requirements over implementations. Efficiency requirements may be stated at different places in programs; so, different implementations may be selected for different objects of the same type. An algorithm and a set of rules to compute the set of implementations that satisfy their requirements are presented. If the selection succeeds, programs may be translated into executable code.
CitacióFranch, X. "Dealing with non-functional properties in an imperative programming language". 1995.
Forma partLSI-95-44-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400191465.pdf | 7,595Mb | Visualitza/Obre |