Partial Evaluation as a Means of Language Extensibility
An optimization technique known as partial evaluation is explored. A partial evaluator optimizes code by making use of static information about program values. Our partial evaluator is designed to optimize mainly applicative code. Un-checked assertions are used to identify applicative constructs...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149597 |
| _version_ | 1826211618273361920 |
|---|---|
| author | Schooler, Richard |
| author2 | Gifford, David K. |
| author_facet | Gifford, David K. Schooler, Richard |
| author_sort | Schooler, Richard |
| collection | MIT |
| description | An optimization technique known as partial evaluation is explored. A partial evaluator optimizes code by making use of static information about program values. Our partial evaluator is designed to optimize mainly applicative code. Un-checked assertions are used to identify applicative constructs in the input code and guide the partial evaluator. Side-effects in the input code are retained but are not optimized. |
| first_indexed | 2024-09-23T15:08:51Z |
| id | mit-1721.1/149597 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T15:08:51Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1495972023-03-30T03:17:33Z Partial Evaluation as a Means of Language Extensibility Schooler, Richard Gifford, David K. An optimization technique known as partial evaluation is explored. A partial evaluator optimizes code by making use of static information about program values. Our partial evaluator is designed to optimize mainly applicative code. Un-checked assertions are used to identify applicative constructs in the input code and guide the partial evaluator. Side-effects in the input code are retained but are not optimized. 2023-03-29T15:10:38Z 2023-03-29T15:10:38Z 1984-08 https://hdl.handle.net/1721.1/149597 13637614 MIT-LCS-TR-324 application/pdf |
| spellingShingle | Schooler, Richard Partial Evaluation as a Means of Language Extensibility |
| title | Partial Evaluation as a Means of Language Extensibility |
| title_full | Partial Evaluation as a Means of Language Extensibility |
| title_fullStr | Partial Evaluation as a Means of Language Extensibility |
| title_full_unstemmed | Partial Evaluation as a Means of Language Extensibility |
| title_short | Partial Evaluation as a Means of Language Extensibility |
| title_sort | partial evaluation as a means of language extensibility |
| url | https://hdl.handle.net/1721.1/149597 |
| work_keys_str_mv | AT schoolerrichard partialevaluationasameansoflanguageextensibility |