The worker-wrapper transformation: getting it right and making it better
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 considere...
| Main Author: | |
|---|---|
| Format: | Thesis (University of Nottingham only) |
| Language: | English |
| Published: |
2017
|
| Online Access: | https://eprints.nottingham.ac.uk/46840/ |
| _version_ | 1848797409626292224 |
|---|---|
| author | Hackett, Jennifer L.P. |
| author_facet | Hackett, Jennifer L.P. |
| author_sort | Hackett, Jennifer L.P. |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | 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. |
| first_indexed | 2025-11-14T20:03:25Z |
| format | Thesis (University of Nottingham only) |
| id | nottingham-46840 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| language | English |
| last_indexed | 2025-11-14T20:03:25Z |
| publishDate | 2017 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-468402025-02-28T11:59:07Z https://eprints.nottingham.ac.uk/46840/ The worker-wrapper transformation: getting it right and making it better Hackett, Jennifer L.P. 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. 2017-12-14 Thesis (University of Nottingham only) NonPeerReviewed application/pdf en arr https://eprints.nottingham.ac.uk/46840/1/thesis.pdf Hackett, Jennifer L.P. (2017) The worker-wrapper transformation: getting it right and making it better. PhD thesis, University of Nottingham. |
| spellingShingle | Hackett, Jennifer L.P. The worker-wrapper transformation: getting it right and making it better |
| title | The worker-wrapper transformation: getting it right and making it better |
| title_full | The worker-wrapper transformation: getting it right and making it better |
| title_fullStr | The worker-wrapper transformation: getting it right and making it better |
| title_full_unstemmed | The worker-wrapper transformation: getting it right and making it better |
| title_short | The worker-wrapper transformation: getting it right and making it better |
| title_sort | worker-wrapper transformation: getting it right and making it better |
| url | https://eprints.nottingham.ac.uk/46840/ |