Experimental reflective programming system written in GHC

Jiro Tanaka*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

1 Citation (Scopus)


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.

Original languageEnglish
Pages (from-to)75-84
Number of pages10
JournalJournal of information processing
Issue number1
Publication statusPublished - 1991 Jan 1
Externally publishedYes

ASJC Scopus subject areas

  • Computer Science(all)


Dive into the research topics of 'Experimental reflective programming system written in GHC'. Together they form a unique fingerprint.

Cite this