Studies related to the process of program development

Abstract

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 programme development, i.e. The process of creating a computer programme to solve some particular problem. The papers presented cover a number of different topics which relate to this process, viz. programming methodology - aspects of structured programming; properties of programming languages; formal specification of programming languages; compiler techniques; declarative programming languages; program development aids; automatic program generation; databases and algorithms and applications.