Building Incremental Programs using Partial Evaluation

@inproceedings{Sundaresh1991BuildingIP,
  title={Building Incremental Programs using Partial Evaluation},
  author={R. S. Sundaresh},
  booktitle={PEPM},
  year={1991}
}
This paper describes an implementation of a high level framework for constructing incremental programs – programs which can efficiently update the result of a computation when the input changes only slightly. This framework was described in [SH91] and uses partial eua/uation. The implementation is based on the partial evaluator Schism [Con90b]. As an example of the use of the framework, the construction of an incremental data flow analyzer is described in detail. The framework can be expressed… CONTINUE READING