1090 search results - page 6 / 218 » Type-Directed Partial Evaluation |
WOA
2010
14 years 9 months ago
2010
This paper presents an experimental evaluation of the methodology documentation template proposed by the IEEE FIPA Design Process Documentation and Fragmentation working group [1]....
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
SLP
1990
15 years 25 days 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...
83
Voted
ERSHOV
1999
Springer
15 years 4 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 ...
PLDI
1997
ACM
15 years 3 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...