Contents of Report

[Data of Report]

Report Number:: TR0298
Date of Registration:: 1987.09
English Title:: T;A Simple Reduction Laguage Based on Combinatory Term Rewriting
Japanese Title:: ***
English Author:: T.Ida,A.Aiba,Y.Toyama
Japanese:: ***
Name of Organization to which author belongs:: Riken,NTT,ICOT
PDF:: tr0298.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	T and Term Rewriting Systems	.... 3
3	Syntax and Semantics of T	.... 4
3.1	Term	.... 4
3.2	Rewrite Rules	.... 5
3.3	Reduction of Terms	.... 6
3.4	Reduction Strategies	.... 7
3.5	Conditional Term Rewriting	.... 8
3.6	Syntax Suger(Summary)	.... 9
3.7	Miscellaneous	.... 10
4	Programming Examples	.... 10
4.1	Interpreter for T	.... 10
4.2	Control Structures	.... 13
4.3	Construction of Structures	.... 13
4.4	Array	.... 14
5	Some Considerations for Practical Implementation	.... 16
5.1	Efficiency Problems Concerning T	.... 16
5.2	Graph Copying Implementation	.... 17
5.3	Compilation of to T Programs	.... 19
5.4	Compilation of T Programs	.... 19
6	Concluding Remarks	.... 19
	References	.... 20

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