Short Cut Fusion is Correct
- ASU Author/Contributor (non-ASU co-authors, if there are any, appear on document)
- Patricia Johann Ph.D, Professor (Creator)
- Institution
- Appalachian State University (ASU )
- Web Site: https://library.appstate.edu/
Abstract: Fusion is the process of removing intermediate data structures from modularly constructed functional programs. Short cut fusion is a particular fusion technique which uses a single, local transformation rule to fuse compositions of list-processing functions. Short cut fusion has traditionally been treated purely syntactically, and justifications for it have appealed either to intuition or to "free theorems" - even though the latter have not been known to hold in languages supporting higher-order polymorphic functions and fixpoint recursion. In this paper we use Pitts' recent demonstration that contextual equivalence in such languages is parametric to provide the first formal proof of the correctness in short cut fusion for them. In particular, we show that programs which have undergone short cut fusion are contextually equivalent to their unfused counterparts.
Short Cut Fusion is Correct
PDF (Portable Document Format)
309 KB
Created on 4/25/2016
Views: 1319
Additional Information
- Publication
- Johann, Patricia.(2003) Short Cut Fusion is Correct. Journal of Functional Programming, vol. 13, no. 4 (2003), pp. 797 - 814. (ISSN: 0956-7968) [DOI: http://dx.doi.org/10.1017/S0956796802004409] Published online: 25 June 2003 Version of Record Available From www.cambridge.org
- Language: English
- Date: 2003