Scipediacontent: Scipediacontent moved page Draft Content 914051066 to Pieters Schrijvers 2018a

2021-01-28T16:34:23Z

Scipediacontent moved page Draft Content 914051066 to Pieters Schrijvers 2018a

Scipediacontent: Created page with " == Abstract == Spivey has recently presented a novel functional representation that supports the efficient composition, or merging, of coroutine pipelines for processing str..."

2021-01-28T16:34:21Z

Created page with " == Abstract == Spivey has recently presented a novel functional representation that supports the efficient composition, or merging, of coroutine pipelines for processing str..."

New page

== Abstract ==

Spivey has recently presented a novel functional representation that supports the efficient composition, or merging, of coroutine pipelines for processing streams of data. This representation was inspired by Shivers and Might's three-continuation approach and is shown to be equivalent to a simple yet inefficient executable specification. Unfortunately, neither Shivers and Might's original work nor the equivalence proof sheds much light on the underlying principles allowing the derivation of this efficient representation from its specification. This paper gives the missing insight by reconstructing a systematic derivation in terms of known transformation steps from the simple specification to the efficient representation. This derivation sheds light on the limitations of the representation and on its applicability to other settings. In particular, it has enabled us to obtain a similar representation for pipes featuring two-way communication, similar to the Haskell pipes library. Our benchmarks confirm that this two-way representation retains the same improved performance characteristics. ispartof: pages:133-149 ispartof: Lecture Notes in Computer Science vol:11372 pages:133-149 ispartof: PADL 2019 - 21st International Symposium on Practical Aspects of Declarative Languages location:Cascais/Lisbon, Portugal date:14 Jan - 15 Jan 2019 status: Published online

== Original document ==

The different versions of the original document can be found in:

* [http://dx.doi.org/10.1007/978-3-030-05998-9_9 http://dx.doi.org/10.1007/978-3-030-05998-9_9]

* [https://lirias.kuleuven.be/handle/123456789/629057 https://lirias.kuleuven.be/handle/123456789/629057]

* [http://link.springer.com/content/pdf/10.1007/978-3-030-05998-9_9 http://link.springer.com/content/pdf/10.1007/978-3-030-05998-9_9],
: [http://dx.doi.org/10.1007/978-3-030-05998-9_9 http://dx.doi.org/10.1007/978-3-030-05998-9_9] under the license http://www.springer.com/tdm

* [https://dblp.uni-trier.de/db/journals/jfp/jfp30.html#PietersS20 https://dblp.uni-trier.de/db/journals/jfp/jfp30.html#PietersS20],
: [https://academic.microsoft.com/#/detail/3047392318 https://academic.microsoft.com/#/detail/3047392318]

* [https://link.springer.com/chapter/10.1007%2F978-3-030-05998-9_9 https://link.springer.com/chapter/10.1007%2F978-3-030-05998-9_9],
: [https://dblp.uni-trier.de/db/conf/padl/padl2019.html#PietersS19 https://dblp.uni-trier.de/db/conf/padl/padl2019.html#PietersS19],
: [https://rd.springer.com/chapter/10.1007/978-3-030-05998-9_9 https://rd.springer.com/chapter/10.1007/978-3-030-05998-9_9],
: [https://academic.microsoft.com/#/detail/2904427631 https://academic.microsoft.com/#/detail/2904427631]

* [https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0956796820000192 https://www.cambridge.org/core/services/aop-cambridge-core/content/view/S0956796820000192],
: [http://dx.doi.org/10.1017/s0956796820000192 http://dx.doi.org/10.1017/s0956796820000192] under the license https://www.cambridge.org/core/terms

DOIS: 10.1017/s0956796820000192 10.1007/978-3-030-05998-9_9

← Older revision	Revision as of 16:34, 28 January 2021
(No difference)

Pieters Schrijvers 2018a - Revision history

Scipediacontent: Scipediacontent moved page Draft Content 914051066 to Pieters Schrijvers 2018a

Scipediacontent: Created page with " == Abstract == Spivey has recently presented a novel functional representation that supports the efficient composition, or merging, of coroutine pipelines for processing str..."