A Modular Implementation of Partial Evaluation
Christopher Colby, Peter David Lee · 1992
Charles Consel and Siau Cheng Khoo have developed a technique for parameterizing partial evaluation and binding-time analysis with respect to abstract domains [5]. We have found the modules system of Standard ML [12, 15] to be a useful vehicle for implementing a similar parameterization technique. Furthermore, the ability to parameterize binding-time analysis indicates that the technique may be useful for implementations of collecting interpretations in general. This paper describes our implementation of parameterized partial evaluation, with a particular focus on the use of the Standard ML modules system. This research was partially supported by the National Science Foundation under grant #CCR-9057567 and in part by the NSF Graduate Research Fellowship Program. The views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of the National Science Foundation or the US Govern...