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:
Access from EThOS:
Access from Institution:
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: