| Abstract
|
<p>Building program generators that … <p>Building program generators that do not duplicate generated code can be challenging. At the same time, code duplication can easily increase both generation time and runtime of generated programs by an exponential factor. We identify an instance of this problem that can arise when memoized functions are staged. Without addressing this problem, it would be impossible to effectively stage dynamic programming algorithms. Intuitively, direct staging undoesthe effect of memoization. To solve this problem once and for all, and for any function that uses memoization, we propose a staged monadic combinator library. Experimental results confirm that the library works as expected. Preliminary results also indicate that the library is useful even when memoization is not used.</p>en when memoization is not used.</p>
|
| Author
|
Kedar Swadi +
, Walid Taha +
, Oleg Kiselyov +
, Emir Pasalic +
|
| Conference
|
PEPM'06. International Symposium on Partial Evaluation and Semantics Based Program Manipulation, Charleston, South Carolina, USA, January 9–10
|
| DOI
|
http://dx.doi.org/10.1145/1111542.1111570 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588269
|
| EndPage
|
169 +
|
| HostPublication
|
PEPM '06 Proceedings of the 2006 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
ACM Press +
|
| StartPage
|
160 +
|
| Title
|
A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
|
| Year
|
2006 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
, Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
, Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
, Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
, Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
, Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
, Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
, Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
, Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
, Publications:A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:45:01 +
|
