Istituto di Scienza e Tecnologie dell'Informazione     
Aiello L., Attardi G., Prini G. Towards a more declarative programming style. Internal note IEI-B77-12, 1977.
A tendency is becoming evident in programming, namely the attempt to use programming constructs that are more and more declarative in flavour. Here we present some observations on (and contributions to) this trend. We analyze declarative programming constructs taking into account the two following points of view: programming methodology (and its impact on programming correctness) and efficiency (and how it can be improved by means of program transformations). Then we present some examples of declarative programming.

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional