Contents of Report

[Data of Report]

	Abstract	.... 2
1	Introduction	.... 2
2	Meta and reflection	.... 3
2.1	Meta-System	.... 3
2.2	Reflective-system	.... 4
2.3	Reflective tower	.... 5
3	Descriptionof the meta-system in logic programming languages	.... 5
3.1	Simple meta-programs	.... 5
3.2	Disadvantages of simple meta-programs	.... 6
4	Constructing a real meta-computation system	.... 7
4.1	Constants,function symbols and predicate symbols	.... 7
4.2	Variables	.... 8
4.3	Terms	.... 8
4.4	Variable binding	.... 9
4.5	Definition clauses	.... 9
4.6	Correspondences between the meta-level and the object-level	.... 9
5	Proposal for Reflective GHC	.... 10
5.1	Reflective Predicates	.... 10
5.2	Shift-up and Shift-down	.... 11
5.3	Meta definitions	.... 12
5.4	Enhanced meta-interpreter and interpretive execution	.... 12
5.5	Constructing and Collapsing a reflective tower	.... 14
6	Related works and conclusion	.... 14
	Acknowledgements	.... 16
	References	.... 16
	End	.... 17

目次をクリックすると、PDFファイルが表示されます。