dc.contributor
Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació
dc.contributor
Universitat Politècnica de Catalunya. inSSIDE - integrated Software, Service, Information and Data Engineering
dc.contributor.author
Franch Gutiérrez, Javier
dc.identifier
Franch, X. "Dealing with non-functional properties in an imperative programming language". 1995.
dc.identifier
https://hdl.handle.net/2117/96878
dc.description.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.
dc.description.abstract
Postprint (published version)
dc.format
application/pdf
dc.subject
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
dc.subject
Modular imperative programming language
dc.subject
Non-functional properties
dc.title
Dealing with non-functional properties in an imperative programming language
dc.type
External research report
