The submitted work consists of a collection of publications arising from research carried out at Rhodes University (1970-1980) and at Heriot-Watt University (1980-1992). The theme of this research is the process of program development, i.e. the process of creating a computer program to solve some particular problem. The papers presented cover a number of different topics which relate to this process, viz. (a) Programming methodology programming. (b) Properties of programming languages. aspects of structured. (c) Formal specification of programming languages. (d) Compiler techniques. (e) Declarative programming languages. (f) Program development aids. (g) Automatic program generation. (h) Databases. (i) Algorithms and applications.
|Creators||Williams, Morgan Howard|
|Publisher||Rhodes University, Faculty of Science, Computer Science|
|Source Sets||South African National ETD Portal|
|Type||Thesis, Doctoral, DSc|
|Format||1058 leaves, pdf|
|Rights||Williams, Morgan Howard|
Page generated in 0.002 seconds