Semantics and Pragmatics of New Shortcut Fusion Rules Export

@inproceedings{Voi08c, 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.}, author = {Voigtl\"{a}nder, Janis}, citeulike-article-id = {2856079}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/978-3-540-78969-7_13}, citeulike-linkout-1 = {http://wwwtcs.inf.tu-dresden.de/~voigt/flops.pdf}, doi = {10.1007/978-3-540-78969-7_13}, editor = {Garrigue, Jacques and Hermenegildo, Manuel}, journal = {Functional and Logic Programming, Proceedings}, keywords = {circular-programs, deforestation, free-theorems, functional-programming, haskell, lazy-evaluation, optimization, parametricity, polymorphism, program-transformation, rank-2, selective-strictness, seq, shortcut-deforestation, types}, month = {April}, pages = {163--179}, posted-at = {2008-06-02 09:43:03}, priority = {0}, publisher = {Springer-Verlag}, series = {LNCS}, title = {Semantics and Pragmatics of New Shortcut Fusion Rules}, url = {http://dx.doi.org/10.1007/978-3-540-78969-7_13}, volume = {4989}, year = {2008} }

TY - CONF ID - Voi08c L3 - citeulike-article-id:2856079 N2 - 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. JF - Functional and Logic Programming, Proceedings SE - LNCS EP - 179 TI - Semantics and Pragmatics of New Shortcut Fusion Rules PB - Springer-Verlag VL - 4989 SP - 163 KW - circular-programs KW - deforestation KW - free-theorems KW - functional-programming KW - haskell KW - lazy-evaluation KW - optimization KW - parametricity KW - polymorphism KW - program-transformation KW - rank-2 KW - selective-strictness KW - seq KW - shortcut-deforestation KW - types AU - Voigtländer, Janis A2 - Garrigue, Jacques A2 - Hermenegildo, Manuel PY - 2008/04// UR - http://dx.doi.org/10.1007/978-3-540-78969-7_13 ER -