Contents of Report
[Data of Report]
Report Number:
TM0250
Date of Registration:
1987.01
English Title:
***
Japanese Title:
Prologプログラムの部分計算の自動化
English Author:
H.Fujita,K.Furukawa
Japanese:
藤田 博,古川 康一
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tm0250.pdf
[Contents]
1
はじめに
.... 2
2
Prologプログラムの部分計算
.... 3
3
自動部分計算器の構成
.... 5
4
部分計算のための事前解析
.... 8
5
抽象解釈に基づく形式化
.... 9
6
おわりに
.... 11
References
.... 12
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda