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...

Full description

Bibliographic Details
Main Author: Williams, Morgan Howard
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