• Login
• Admin

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.

Full text not available from this repository.

Abstract

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.

Item Type:	Conference or Workshop Item (Paper)
RIS ID:	https://nottingham-repository.worktribe.com/output/982982
Additional Information:	Published in: 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) IEEE, 2015, pp. 115-126, doi: 10.1109/LICS.2015.21
Schools/Departments:	University of Nottingham, UK > Faculty of Science > School of Computer Science
Depositing User:	Hutton, Prof Graham
Date Deposited:	08 Apr 2016 12:15
Last Modified:	04 May 2020 20:08
URI:	https://eprints.nottingham.ac.uk/id/eprint/32701

Actions (Archive Staff Only)

Edit View