[Home] [CV] [Publications]


Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Partial evaluation, higher–order abstractions, and reflection principles as system building tools
Talcott, C. L. and W., Weyhrauch R. - 1987

In this paper we take a look at partial evaluation from the point of view of symbolic computation systems, point out some challenging new applications for partial evaluation in such systems, and outline some criteria for a theory of partial evaluation. The key features of symbolic computation systems are summarized along with work on semantics of such systems which will hopefully aid in meeting the challenges. The new applications are illustrated by an example using on the concept of component configuration. This is a new idea for software development, based on the use of higer–order and reflective computation mechanisms, that generalizes such ideas as modules, classes, and programming in the large.

Keywords: components, configuration, partial evaluation, function abstraction, control abstraction, process abstraction, objects with memory