50 search results - page 1 / 10 » Evolving Algebras and Partial Evaluation |
IFIP
1994
Springer
13 years 9 months ago
1994
Springer
We describe the architecture of an evolving algebra partial evaluator, a program which specializes an evolving algebra with respect to a portion of its input. We discuss the parti...
IFIP
1994
Springer
13 years 9 months ago
1994
Springer
IFIP
1994
Springer
13 years 9 months ago
1994
Springer
APLAS
2007
ACM
13 years 9 months ago
2007
ACM
We have built the first family of tagless interpretations for a higher-order typed object language in a typed metalanguage (Haskell or ML) that require no dependent types, general...
ISSAC
1995
Springer
13 years 8 months ago
1995
Springer
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...