#### Filter Results:

- Full text PDF available (2)

#### Publication Year

1988

1996

- This year (0)
- Last 5 years (0)
- Last 10 years (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Carsten Kehler Holst
- FPCA
- 1991

One of the remaining problems on the path towards fully automatic partial evaluation is ensuring termination of the specialization phase. In [10] we gave a termination analysis which could be applied to partial evaluation of first-order strict languages, using a new result about inductive arguments (loosely: if whenever something grows, something gets… (More)

- Carsten Kehler Holst, Carsten K. Gomard
- PEPM
- 1991

Partial evaluation of a program p with respect to partial input data s produces a residual program r. If the program r is subsequently run a number of times on values rl~, there is a potentiti overall gain in efficiency since the static computations are performed only once, namely when the residual program ris generated. In a fully lazy language, a partial… (More)

- Carsten Kehler Holst, John Hughes
- Functional Programming
- 1991

- Torben Æ. Mogensen, Carsten Kehler Holst
- New Generation Computing
- 1988

- ‹
- 1
- ›