1090 search results - page 13 / 218 » Resource-Bounded Partial Evaluation |
97
Voted
PADO
2001
Springer
15 years 2 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
102
click to vote
PEPM
1994
ACM
15 years 1 months ago
1994
ACM
One of the most novel features in the functional programming language Haskell is the system of type classes used to support a combination of overloading and polymorphism. Current ...
110
click to vote
IJCAI
1997
14 years 11 months ago
1997
Bayesian belief networks have grown to prominence because they provide compact representations of many domains, and there are algorithms to exploit this compactness. The next step...
SCAM
2008
IEEE
15 years 4 months ago
2008
IEEE
Decompiling low-level code to a high-level intermediate representation facilitates the development of analyzers, model checkers, etc. which reason about properties of the low-leve...
66
Voted
PEPM
1994
ACM
15 years 1 months ago
1994
ACM
It is well-known that self-applicable partial evaluation can be used to generate compiler generators: cogen = mix(mix;mix), where mix is the specializer (partial evaluator). Howev...