Use this URL to cite or link to this record in EThOS: https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.740658
Title: The worker-wrapper transformation : getting it right and making it better
Author: Hackett, Jennifer L. P.
ISNI:       0000 0004 7228 2692
Awarding Body: University of Nottingham
Current Institution: University of Nottingham
Date of Award: 2017
Availability of Full Text:
Access from EThOS:
Access from Institution:
Abstract:
A program optimisation must have two key properties: it must preserve the meaning of programs (correctness) while also making them more efficient (improvement). An optimisation's correctness can often be rigorously proven using formal mathematical methods, but improvement is generally considered harder to prove formally and is thus typically demonstrated with empirical techniques such as benchmarking. The result is a conspicuous ``reasoning gap'' between correctness and efficiency. In this thesis, we focus on a general-purpose optimisation: the worker\slash wrapper transformation. We develop a range of theories for establishing correctness and improvement properties of this transformation that all share a common structure. Our development culminates in a single theory that can be used to reason about both correctness and efficiency in a unified manner, thereby bridging the reasoning gap.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID: uk.bl.ethos.740658  DOI: Not available
Keywords: QA 75 Electronic computers. Computer science
Share: