An Experimental Reflective Programming System Written in GHC

概要

論文の詳細を見る
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.
一般社団法人情報処理学会の論文
1991-03-31