50 search results - page 1 / 10 » Evolving Algebras and Partial Evaluation |
IFIP
1994
Springer
13 years 10 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 10 months ago
1994
Springer
IFIP
1994
Springer
13 years 10 months ago
1994
Springer
APLAS
2007
ACM
13 years 10 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 9 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 ...