Theory and Practice of Computation, Proceedings of the Workshop on Computation: Theory and Practice (WCTP2019)
Volume, Number, Page
pp. 133-140
Published date
Dec. 1, 2020
Publisher
Japanese:
English:
CRC Press
Conference name
Japanese:
English:
9th Workshop on Computation: Theory and Practice (WCTP 2019)
Conference site
Japanese:
English:
Manila
Abstract
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.