Contents of Report
[Data of Report]
Report Number:
TM1322
Date of Registration:
1995.03
English Title:
***
Japanese Title:
並列論理型言語処理系KLICによるPARIの並列化
English Author:
T.Fujise
Japanese:
藤瀬哲朗
Name of Organization to which author belongs:
ICOT
PDF:
tm1322.pdf
[Contents]
1
はじめに
.... 2
2
非決定的計算と数式処理
.... 2
3
並列論理型言語KL1と非決定的計算
.... 5
4
ポータブルKL1処理系KLIC
.... 8
5
PARIの並列化と計算例
.... 9
6
おわりに
.... 9
参考文献
.... 9
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda