Contents of Report


[Data of Report]

Report Number:
TM0091
Date of Registration:
1985.01
English Title:
Source-level Optimization Techniques for Prolog
Japanese Title:
***
English Author:
H.Sawamura,T.Takeshima,A.Kato
Japanese:
***
Name of Organization to which author belongs:
Fujitsu,Fujitsu,Fujitsu
PDF:
tm0091.pdf

[Contents]

Abstruct.... 3
1Introduction.... 4
2Notational convertions and definitions.... 7
3Optimization techniques for Prolog programs.... 13
4Some theoretical consideratio.... 34
5Outline of an implementation and illustrative examples.... 41
6Discussions and concliding remarks.... 47
Acknowledgements.... 49
References.... 50


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

ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda