A reflective extension of a FRP language and its applications

This paper introduces a reflective extension of a functional reactive programming language designed for resource-constrained embedded systems. Using the extension, a program module can observe or modify its execution process via time-varying values that are connected to the internal of the metalevel of the module. Thus reflective operations are also reactive and described in a declarative manner. An example shows how the mechanism can realize an adaptive runtime that reduces the power consumption of small robots.