Abstract
A simple yet effective program transformation technique which turns complicated high-level expressions into incremental updating computations is introduced and discussed. This transformation, called Formal Integration, is based on a combination of general loop-fusion methods and formal differentiation. Its applicability is demonstrated in a variety of examples.
| Original language | English |
|---|---|
| Pages (from-to) | 35-46 |
| Number of pages | 12 |
| Journal | Computer Languages |
| Volume | 6 |
| Issue number | 1 |
| DOIs | |
| State | Published - 1981 |
Keywords
- Formal differentiation
- Formal integration
- Loop fusion
- Program transformation