Programs for cheap!
Write down the definition of a recursion operator on a piece of paper. Tell me its type, but be careful not to let me see the operator’s definition. I will tell you an optimization theorem that the operator satisfies. As an added bonus, I will also give you a proof of correctness for the optimisatio...
| Main Authors: | , |
|---|---|
| Format: | Conference or Workshop Item |
| Published: |
2015
|
| Online Access: | https://eprints.nottingham.ac.uk/32701/ |
| _version_ | 1848794470616662016 |
|---|---|
| author | Hackett, Jennifer Hutton, Graham |
| author_facet | Hackett, Jennifer Hutton, Graham |
| author_sort | Hackett, Jennifer |
| building | Nottingham Research Data Repository |
| collection | Online Access |
| description | Write down the definition of a recursion operator on a piece of paper. Tell me its type, but be careful not to let me see the operator’s definition. I will tell you an optimization theorem that the operator satisfies. As an added bonus, I will also give you a proof of correctness for the optimisation, along with a formal guarantee about its effect on performance. The purpose of this paper is to explain these tricks. |
| first_indexed | 2025-11-14T19:16:42Z |
| format | Conference or Workshop Item |
| id | nottingham-32701 |
| institution | University of Nottingham Malaysia Campus |
| institution_category | Local University |
| last_indexed | 2025-11-14T19:16:42Z |
| publishDate | 2015 |
| recordtype | eprints |
| repository_type | Digital Repository |
| spelling | nottingham-327012020-05-04T20:08:05Z https://eprints.nottingham.ac.uk/32701/ Programs for cheap! Hackett, Jennifer Hutton, Graham Write down the definition of a recursion operator on a piece of paper. Tell me its type, but be careful not to let me see the operator’s definition. I will tell you an optimization theorem that the operator satisfies. As an added bonus, I will also give you a proof of correctness for the optimisation, along with a formal guarantee about its effect on performance. The purpose of this paper is to explain these tricks. 2015-07 Conference or Workshop Item PeerReviewed Hackett, Jennifer and Hutton, Graham (2015) Programs for cheap! In: Thirtieth Annual ACM/IEEE Symposium on Logic in Computer Science, 6-10 July 2015, Kyoto, Japan. |
| spellingShingle | Hackett, Jennifer Hutton, Graham Programs for cheap! |
| title | Programs for cheap! |
| title_full | Programs for cheap! |
| title_fullStr | Programs for cheap! |
| title_full_unstemmed | Programs for cheap! |
| title_short | Programs for cheap! |
| title_sort | programs for cheap! |
| url | https://eprints.nottingham.ac.uk/32701/ |