Efficient Demand-Driven Evaluation (II)
In Part I of this paper, we presented a scheme whereby a compiler could propogate demands through programs in a powerful stream language L. A data-driven evaluation of the transformed program performed exactly the same computation as a demand-driven evaluation of the original program. In this paper,...
| Main Authors: | , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149053 |
| _version_ | 1811084686790754304 |
|---|---|
| author | Pingali, Keshav Arvind |
| author_facet | Pingali, Keshav Arvind |
| author_sort | Pingali, Keshav |
| collection | MIT |
| description | In Part I of this paper, we presented a scheme whereby a compiler could propogate demands through programs in a powerful stream language L. A data-driven evaluation of the transformed program performed exactly the same computation as a demand-driven evaluation of the original program. In this paper, we explore a different transformation which trades the complexity of demand propogation for a bounded amount of extra computation on some data lines. |
| first_indexed | 2024-09-23T12:56:01Z |
| id | mit-1721.1/149053 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T12:56:01Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1490532023-03-30T03:42:24Z Efficient Demand-Driven Evaluation (II) Pingali, Keshav Arvind In Part I of this paper, we presented a scheme whereby a compiler could propogate demands through programs in a powerful stream language L. A data-driven evaluation of the transformed program performed exactly the same computation as a demand-driven evaluation of the original program. In this paper, we explore a different transformation which trades the complexity of demand propogation for a bounded amount of extra computation on some data lines. 2023-03-29T14:23:16Z 2023-03-29T14:23:16Z 1983-09 https://hdl.handle.net/1721.1/149053 MIT-LCS-TM-243 application/pdf |
| spellingShingle | Pingali, Keshav Arvind Efficient Demand-Driven Evaluation (II) |
| title | Efficient Demand-Driven Evaluation (II) |
| title_full | Efficient Demand-Driven Evaluation (II) |
| title_fullStr | Efficient Demand-Driven Evaluation (II) |
| title_full_unstemmed | Efficient Demand-Driven Evaluation (II) |
| title_short | Efficient Demand-Driven Evaluation (II) |
| title_sort | efficient demand driven evaluation ii |
| url | https://hdl.handle.net/1721.1/149053 |
| work_keys_str_mv | AT pingalikeshav efficientdemanddrivenevaluationii AT arvind efficientdemanddrivenevaluationii |