- Title
- Studies related to the process of program development
- Creator
- Williams, Morgan Howard
- Subject
- Computer programming
- Date
- 1994
- Type
- Thesis
- Type
- Doctoral
- Type
- DSc
- Identifier
- vital:4680
- Identifier
- http://hdl.handle.net/10962/d1007235
- Description
- 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.
- Format
- 1058 leaves, pdf
- Publisher
- Rhodes University, Faculty of Science, Computer Science
- Language
- English
- Rights
- Williams, Morgan Howard
- Hits: 743
- Visitors: 740
- Downloads: 43
Thumbnail | File | Description | Size | Format | |||
---|---|---|---|---|---|---|---|
View Details Download | SOURCEPDF | 84 MB | Adobe Acrobat PDF | View Details Download |