1089 search results - page 5 / 218 » Oracle-Based Partial Evaluation |
SLP
1990
15 years 2 months ago
1990
We discuss the impact of Partial Evaluation within the framework of structured logic programming. We define a general scheme for Partial Evaluation to be applied to a wide class o...
115
click to vote
ERSHOV
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Existing partial evaluators usually fix the strategy for binding-time analysis. But a single strategy cannot fulfill all goals without leading to compromises regarding ...
120
click to vote
PLDI
1997
ACM
15 years 5 months ago
1997
ACM
One of the flagship applications of partial evaluation is compilation and compiler generation. However, partial evaluation is usually expressed as a source-to-source transformati...
121
click to vote
PEPM
1999
ACM
15 years 5 months ago
1999
ACM
This paper explores the relationship between C++ templates and partial evaluation. Templates were designed to support generic programming but unintentionally provided the ability ...
128
click to vote
SIAMSC
2010
14 years 8 months ago
2010
We present a new "hp" parameter multi-domain certified reduced basis method for rapid and reliable online evaluation of functional outputs associated with parametrized el...