Category: CMUTR
Institution: Department of Computer Science, Carnegie
        Mellon University
Abstract: 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.
Number: CMU-CS-92-123
Bibtype: TechReport
Month: mar
Author: Christopher Colby
        Peter Lee
Title: A Modular Implementation of Partial Evaluation
Year: 1992
Address: Pittsburgh, PA
Super: @CMUTR