… This paper shortly explains the principles of Partial Eval- uation and attempts to provide an insight of the current state of re- search in this eld. Topics such as binding-time analysis, termination, self-application and partial …
SMP 2010:… ) is presented. A simplifying element is the use of self-application. Variations …
aplas 2006: 406-422 [doi]… …
icalp 1990: 639-659 [doi]… can be put to work on several new applications. To date, all previous compiler generators based on partial evaluation were either generated by self-application …
In Ershov Memorial Conference. 2009: [doi]