Aiello L., Attardi G., Prini G. Towards a more declarative programming style. Internal note IEI-B77-12, 1977. |
Abstract (English) |
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. | |
Subject |
![]() |


