#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1989

1996

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

#### Publication Type

#### Co-author

#### Publication Venue

#### 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 r-is generated. In a fully lazy language, a partial… (More)

Syntactic currying of a program is the transformation of one phase program into two phase programs. One phase programs takes all the input and produce the result, while a two phase program takes part of it input and produce a residual program as an intermediate result, when the residual program is applied to the rest of the input it computes the final… (More)

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

- ‹
- 1
- ›