Contents of Report

[Data of Report]

Report Number:: TR0106
Date of Registration:: 1985.04
English Title:: ***
Japanese Title:: Qute 処理系操作説明書
English Author:: ***
Japanese:: 桜井　貴文,藤田　正幸
Name of Organization to which author belongs:: Tokyo Univ.,Mitsubishi
PDF:: tr0106.pdf

[Contents]

	目次	.... 2
1	序	.... 4
2	Qute の Syntax 1	.... 4
2.1	定数と変数	.... 5
2.2	expression	.... 6
2.3	pattern	.... 7
2.4	自由変数	.... 8
3	unification	.... 10
4	Qute の semantics	.... 11
4.1	evaluable subexpression	.... 11
4.2	書き換え規則	.... 14
5	implementにおける変更点	.... 18
5.1	特殊文字と予約語	.... 18
5.2	symbol	.... 18
5.3	関数定義と global 変数	.... 18
5.4	unification	.... 20
5.5	suspend 17	.... 20
Part2	Quteの処理系の操作	.... 21
1	Qute の操作	.... 21
1.1	起動	.... 21
1.2	関数定義	.... 21
1.3	実行	.... 23
1.4	エラ－	.... 23
1.5	終了	.... 24
1.6	ログの参照	.... 25
2	デバッグ	.... 25
2.1	デバッグのための基本的コマンド	.... 25
2.2	デバッガの使用例	.... 27
3	組み込み関数	.... 27
3.1	算術演算子	.... 27
3.2	入出力	.... 28
3.3	コマンド	.... 29
4	プログラム例	.... 30
	索引	.... 46
	付録; Qute の BNF	.... 50

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

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports