Cutting out continuations
In the field of program transformation, one often transforms programs into continuation-passing style to make their flow of control explicit, and then immediately removes the resulting continuations using defunctionalisation to make the programs first-order. In this article, we show how these two tr...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2016
|
| Online Access: | https://eprints.nottingham.ac.uk/32703/ |
| _version_ | 1848794471150387200 |
|---|---|
| author | Hutton, Graham Bahr, Patrick |
| author_facet | Hutton, Graham Bahr, Patrick |
| author_sort | Hutton, Graham |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | In the field of program transformation, one often transforms programs into continuation-passing style to make their flow of control explicit, and then immediately removes the resulting continuations using defunctionalisation to make the programs first-order. In this article, we show how these two transformations can be fused together into a single transformation step that cuts out the need to first introduce and then eliminate continuations. Our approach is calculational, uses standard equational reasoning techniques, and is widely applicable. |
| first_indexed | 2025-11-14T19:16:43Z |
| format | Conference or Workshop Item |
| id | nottingham-32703 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T19:16:43Z |
| publishDate | 2016 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-327032020-05-04T17:46:57Z https://eprints.nottingham.ac.uk/32703/ Cutting out continuations Hutton, Graham Bahr, Patrick In the field of program transformation, one often transforms programs into continuation-passing style to make their flow of control explicit, and then immediately removes the resulting continuations using defunctionalisation to make the programs first-order. In this article, we show how these two transformations can be fused together into a single transformation step that cuts out the need to first introduce and then eliminate continuations. Our approach is calculational, uses standard equational reasoning techniques, and is widely applicable. 2016-04-12 Conference or Workshop Item PeerReviewed Hutton, Graham and Bahr, Patrick (2016) Cutting out continuations. In: WadlerFest, 11-12 April 2016, Edinburgh, Scotland. |
| spellingShingle | Hutton, Graham Bahr, Patrick Cutting out continuations |
| title | Cutting out continuations |
| title_full | Cutting out continuations |
| title_fullStr | Cutting out continuations |
| title_full_unstemmed | Cutting out continuations |
| title_short | Cutting out continuations |
| title_sort | cutting out continuations |
| url | https://eprints.nottingham.ac.uk/32703/ |