The worker-wrapper transformation: getting it right and making it better

Hackett, Jennifer L.P. (2017) The worker-wrapper transformation: getting it right and making it better. PhD thesis, University of Nottingham.

[img]
Preview
PDF (Thesis - as examined) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (585kB) | Preview

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.

Item Type: Thesis (University of Nottingham only) (PhD)
Supervisors: Hutton, Graham
Subjects: Q Science > QA Mathematics > QA 75 Electronic computers. Computer science
Faculties/Schools: UK Campuses > Faculty of Science > School of Computer Science
Item ID: 46840
Depositing User: Hackett, Jennifer
Date Deposited: 23 Apr 2018 10:37
Last Modified: 24 Apr 2018 04:34
URI: https://eprints.nottingham.ac.uk/id/eprint/46840

Actions (Archive Staff Only)

Edit View Edit View