Contents of Report

[Data of Report]

Report Number:: TR0608
Date of Registration:: 1990.12
English Title:: A Debbuger for AND/OR Parallel Logic Programming Language ANDOR-II
Japanese Title:: ***
English Author:: K.Takaeuchi,A.Takeuchi
Japanese:: ***
Name of Organization to which author belongs:: Mitsubishi,Mitsubishi
PDF:: tr0608.pdf

	Abstract	.... 2
1	Introduction	.... 2
2	Laguage ANDOR-II	.... 4
2.1	Syntax	.... 4
2.2	Semantics	.... 6
2.3	Implementation	.... 7
3	Debugger for ANDOR-II	.... 10
3.1	Meta Interpreter	.... 10
3.2	Meta Interpreter Recording A History	.... 13
3.3	Reconstruction of A Computation with A Designated Color	.... 17
3.4	Reconstruction by Stepwise Selection	.... 23
4	Discussion	.... 23
4.1	Meta Reasoning	.... 23
4.2	Coordination with Other Methods	.... 26
5	Concluding Remarks	.... 26
	Acknowledgements	.... 27
	References	.... 27
	End	.... 29

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