Experimental reflective programming system written in GHC

Research output: Contribution to journalArticle

1 Citation (Scopus)

Abstract

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
Volume14
Issue number1
Publication statusPublished - 1991 Jan 1
Externally publishedYes

Fingerprint

Computer systems programming
Program interpreters
Resource allocation

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

Experimental reflective programming system written in GHC. / Tanaka, Jiro.

In: Journal of information processing, Vol. 14, No. 1, 01.01.1991, p. 75-84.

Research output: Contribution to journalArticle

@article{ea370c7134ef4773a8c2cc16b8b08e21,
title = "Experimental reflective programming system written in GHC",
abstract = "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.",
author = "Jiro Tanaka",
year = "1991",
month = "1",
day = "1",
language = "English",
volume = "14",
pages = "75--84",
journal = "Journal of Information Processing",
issn = "0387-5806",
publisher = "Information Processing Society of Japan",
number = "1",

}

TY - JOUR

T1 - Experimental reflective programming system written in GHC

AU - Tanaka, Jiro

PY - 1991/1/1

Y1 - 1991/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0025888133&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0025888133&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:0025888133

VL - 14

SP - 75

EP - 84

JO - Journal of Information Processing

JF - Journal of Information Processing

SN - 0387-5806

IS - 1

ER -