| Author: |
J. Voigtländer |
| Published: |
In 9th International Symposium on Functional and Logic Programming (FLOPS'08, acceptance rate 20/59), Ise, Japan, Proceedings, volume 4989 of LNCS, pages 163-179, Springer, April 2008. |
| DOI: |
10.1007/978-3-540-78969-7_13 |
| BibTeX: |
Voi08c.bib |
| Abstract: |
We study various shortcut fusion rules for languages like
Haskell. Following a careful semantic account of a recently
proposed rule for circular program transformation, we
propose a new rule that trades circularity for
higher-orderedness, and thus attains better semantic
properties. This also leads us to revisit the original
foldr/build-rule, as well as its dual, and to develop
variants that do not suffer from detrimental impacts of
Haskell's mixed strict/nonstrict semantics. Throughout, we
offer pragmatic insights about our new rules to investigate
also their relative effectiveness, rather than just their
semantic correctness.
|
| Download: |
SemanticsAndPragmaticsOfNewShortcutFusionRules.pdf |
| Rights: |
Copyright held by Springer. |
| Slides: |
Slides of my talk at the conference are here. |