Contents of Report
[Data of Report]
Report Number:
TM0468
Date of Registration:
1988.03
English Title:
***
Japanese Title:
有限領域を対象とした単一化の拡張(Finite Domainの試作)
English Author:
S.Kondo,M.Imamura
Japanese:
近藤 省造,今村 誠
Name of Organization to which author belongs:
***
PDF:
tm0468.pdf
[Contents]
1
はじめに
.... 2
2
Dincbasの拡張概要
.... 3
3
領域付き変数の実現法
.... 4
4
Unificationの拡張とunqualityの定義
.... 5
5
前向き推論とlook ahead
.... 8
6
例題
.... 9
7
おわりに
.... 17
参考文献
.... 17
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda