White, Neil H (1980) Run-time diagnostics in programming languages with data-structuring facilities. Doctoral thesis, Keele University.

[thumbnail of WhitePhD1980.pdf]

Download (7MB) | Preview


Modern high level programming languages have been designed with the intention of providing the means of expressing the solution to a problem in the most natural way possible. This thesis is concerned with the correctness of such solutions.
The reliability of programs is discussed and techniques for increasing the likelihood of producing a correct program are examined. In particular, the use of certain high level languages affording program control structures and data types that allow an easy and natural expression of a real problem is seen to be of paramount importance. It is argued that using such programming languages is severely hampered if, in the event of a program error, diagnostic information is not available in terms of the program structure and data.
This thesis is concerned with the provision of run-time diagnostic facilities. In particular,, the provision of such diagnostics for the user of data structures is seen as a currently neglected area.
The implementation of the programming language Pascal is described. Within this implementation, a unique interactive diagnostics system is built to allow the programmer complete diagnostic capabilities expressed in terms of the Pascal language. The main innovation provided is the ability to display the data structures built within a program in a manner in which the programmer views them. The reactions to this system are described and the extent to which it has achieved its aims discussed.

Item Type: Thesis (Doctoral)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Natural Sciences > School of Computing and Mathematics
Contributors: Bennett, K H (Thesis advisor)
Depositing User: Lisa Bailey
Date Deposited: 19 May 2020 14:54
Last Modified: 19 May 2020 14:54
URI: https://eprints.keele.ac.uk/id/eprint/8008

Actions (login required)

View Item
View Item