Studies related to the process of program development
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 pa...
Main Author: | |
---|---|
Format: | Others |
Language: | English |
Published: |
Rhodes University
1994
|
Subjects: | |
Online Access: | http://hdl.handle.net/10962/d1007235 |
id |
ndltd-netd.ac.za-oai-union.ndltd.org-rhodes-vital-4680 |
---|---|
record_format |
oai_dc |
spelling |
ndltd-netd.ac.za-oai-union.ndltd.org-rhodes-vital-46802017-07-20T04:13:33ZStudies related to the process of program developmentWilliams, Morgan HowardComputer programmingThe 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.Rhodes UniversityFaculty of Science, Computer Science1994ThesisDoctoralDSc1058 leavespdfvital:4680http://hdl.handle.net/10962/d1007235EnglishWilliams, Morgan Howard |
collection |
NDLTD |
language |
English |
format |
Others
|
sources |
NDLTD |
topic |
Computer programming |
spellingShingle |
Computer programming Williams, Morgan Howard Studies related to the process of program development |
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. |
author |
Williams, Morgan Howard |
author_facet |
Williams, Morgan Howard |
author_sort |
Williams, Morgan Howard |
title |
Studies related to the process of program development |
title_short |
Studies related to the process of program development |
title_full |
Studies related to the process of program development |
title_fullStr |
Studies related to the process of program development |
title_full_unstemmed |
Studies related to the process of program development |
title_sort |
studies related to the process of program development |
publisher |
Rhodes University |
publishDate |
1994 |
url |
http://hdl.handle.net/10962/d1007235 |
work_keys_str_mv |
AT williamsmorganhoward studiesrelatedtotheprocessofprogramdevelopment |
_version_ |
1718501723178270720 |