Loading...
Loading...

Go to the content (press return)

Dealing with non-functional properties in an imperative programming language

Author
Franch, X.
Type of activity
Report
Date
1995-10
Code
LSI-95-44-R
Repository
http://hdl.handle.net/2117/96878 Open in new window
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...
Citation
Franch, X. "Dealing with non-functional properties in an imperative programming language". 1995.
Keywords
Modular imperative programming language, Non-functional properties
Group of research
inSSIDE - integrated Software, Service, Information and Data Engineering

Participants

Attachments