Use this URL to cite or link to this record in EThOS: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.360175 |
![]() |
|||||||
Title: | Expression refinement | ||||||
Author: | Bunkenburg, Alexander |
ISNI:
0000 0001 3508 9963
|
|||||
Awarding Body: | University of Glasgow | ||||||
Current Institution: | University of Glasgow | ||||||
Date of Award: | 1997 | ||||||
Availability of Full Text: |
|
||||||
Abstract: | |||||||
This thesis presents a refinement calculus for expressions. The aim of refinement calculi is to make programming a mathematical activity, and thereby improve the correctness of programs. To achieve this, a refinement calculus provides a formal language and a set of rules that allow transformations of the language terms. Using a refinement calculus, to produce a correct program, the programmer writes a possibly non-algorithmic or inefficient term that nevertheless obviously describes the intended program. This term is the specification, and it is transformed into an efficient program by syntactic transformation, using the rules of the refinement calculus. This transformation is refinement.
|
|||||||
Supervisor: | Not available | Sponsor: | Not available | ||||
Qualification Name: | Thesis (Ph.D.) | Qualification Level: | Doctoral | ||||
EThOS ID: | uk.bl.ethos.360175 | DOI: | Not available | ||||
Keywords: | Programming language | ||||||
Share: |