A programming system can be defined as an environment in which one can input programs and execute goals. Two approaches to enhancing meta-interpreters, namely, meta-extension and reflective-extension, are described. They are then combined and reflective operations on such meta-interpreters are discussed. An experimental reflective programming system (ExReps) based on these meta-interpretation techniques, is described. The whole system consists of two layers, a distributed abstract machine layer and an execution system layer, both of which are totally written in the parallel logic language GHC. Two examples are given of reflective programming: load balancing and dynamic reduction count control. An example is also given of an actual program execution on ExReps.
|ジャーナル||Journal of information processing|
|出版ステータス||Published - 1991 1月 1|
ASJC Scopus subject areas
- コンピュータ サイエンス（全般）