… . By recasting these features in terms of partial evaluation, a much simpler … on Partial Evaluation which unifies generic programming, compile-time computation …This paper explores the relationship between C++ templates and partial …
PEPM 1999: 13-18 [doi]… This paper shortly explains the principles of Partial Eval- uation … such as binding-time analysis, termination, self-application and partial evaluation systems are covered. …
SMP 2010:… Hybrid partial evaluation (HPE) is a pragmatic approach to partial evaluation that borrows ideas from both online and offline partial evaluation. HPE performs … where partial evaluation should be applied. It provides no termination guarantee …
In Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications. 2011: 375-390 [doi]… We show that the accuracy of online partial evaluation, or polyvariant specialization based on constant propagation, can be simulated by offline partial … that, while their accuracy is the same, online partial evaluation offers better …
TOPLAS, 26(1):191-220, 2004. [doi]… of an implemented self-applicable partial evaluator for the call by value untyped lambda calculus with constants, conditionals, and a fixed point operator. A partial … to the problem of binding time analysis is presented. The partial evaluator …
iccl 1990: 49-58 [doi]… , but at a significant cost in terms of performance. We apply partial evaluation … partial evaluator for a minimal object-oriented language, and give directions for extending this partial evaluator to handle realistic programs. Based on workdo …
pado 2001: 173-197 [doi]… -applicable partial evaluator for the untyped lambda-calculus with constants …. Partial evaluation produces a residual program from a source program and some …. Our partial evaluator produces a residual lambda-expression given a source lambda …
JFP, 1(1):21-69, 1991. [doi]… for studying complexity in partial evaluation. Further, it outlines some first steps … and partial evaluators. …We give an overview of and sketch some new possibilities in the area of partial …
icalp 1990: 639-659 [doi]… by the instrumentation and partial evaluation of naÏve string matchers. Following … it to collect and exploit extra information, and show that partial evaluation … an efficient specialized matcher.
We then discard the partial evaluator and show …
Dagstuhl 1996: 446-464 [doi]… This paper (essentially [12, Chapter 8]) describes partial evaluation … analysis via constraint solving is outlined. The partial evaluator is proven correct. Chapter 8 from Partial Evaluation and Automatic Program Generation, Prentice …
PEPM 1999: 203-220 [doi]… Since a binding-time analysis determines how an off-line partial evaluation … analysis for the partial evaluation for XQuery is presented, and it has been implemented and integrated into an XQuery partial evaluation system. This binding-time …
csie 2009: 454-461 [doi]… Hitherto all partial evaluators have processed a complete program to produce a complete residual program. We are interested in treating programs as collections of modules which can be processed independently: ’separate partial evaluation …
PEPM 1997: 1-11 [doi]… Partial Evaluation is a well-established method for specialization of programs … a practical specializer for CIL programs based on Partial Evaluation with preliminary …, various program analysis and transformation techniques, including partial …
ershov 2003: 171-177 [doi]… this paper is divided into three sections. The first presents a classification scheme for the types of divergences that partial evaluators experience and a discussion of different forms of termination (reuse) mechanisms. Next, use-analysis …
PEPM 1992: 29-37… Partial evaluation provides a unifying paradigm for a broad spectrum of work in program optimization compiling interpretation and the generation of automatic … programs. Much partial evaluation work to date has concerned automatic compiler …
ACM Comput. Surv., 28(3):480-503, 1996. [doi]… Continuation-based partial evaluation is an implementation technique for program specializers that allows generated code contexts to commute … implementation of the context manipulation performed by continuation-based partial evaluation …
SAS 2003: 366-382 [doi]… description which is, in some sense, the partial evaluation of a computation … ones in that the compiler-compiler based on our method can describe an evaluation …
lisp, 12(4):381-391, 1999. [doi]… Partial evaluation can be used for automatic generation of compilers and was first implemented by Jones et. al. [9]. Since partial evaluation was extended … and implement these with very few changes in the language treated by partial evaluators …
1991: 177-195 [doi]… show that an extension of partial evaluation can eliminate persistent variables …
pado 2001: 84-102 [doi]… In this paper, we present a fast binding-time analysis (BTA) by integrating a size-change analysis, which is independent of a selection rule, into a classical BTA for offline partial evaluation of logic programs. In contrast to previous …
LOPSTR 2009: 119-134 [doi]