Contents of Report
[Data of Report]
Report Number:
TR485
Date of Registration:
1989.10
English Title:
Logic Program Analysis by Abstract Hybrid Interpretation
Japanese Title:
***
English Author:
T.Kanamori
Japanese:
Name of Organization to which author belongs:
PDF:
tr0485.pdf
[Contents]
Abstract
.... 2
1
Introduction
.... 3
2
Standard Hybrid Interpretation
.... 6
2.1
An Example of Standard Hybrid Interpretation
.... 6
2.2
Standard Hybrid Interpretation of Prolog Programs
.... 10
2.3
Correctness of the Standard Hybrid Interpretation
.... 13
3
Abstrct Hybrid Interpretation for Type Inference
.... 14
3.1
An Example of Type Inference
.... 15
3.2
Type Inference for Prolog Programs
.... 18
3.3
Correctness of the Type Inference
.... 24
4
Implementation of the Standard Hybrid Interpretation
.... 26
4.1
Modified Standard Hybrid Interpretation of Prolog Programs
.... 27
4.2
An Example of the Modified Standard Hybrid Interpretation
.... 29
4.3
Correctness of the Modified Standard Hybrid Interpretation
.... 30
5
Implementation of the Abstract Hybrid Interpretation for Type Inference
.... 31
5.1
Modified Type Inference for Prolog Programs
.... 31
5.2
An Example of the Modified Type Inference
.... 32
5.3
Correctness of the Modified Type Inference
.... 34
6
Depth-abstracted Term Inference for Prolog Programs
.... 34
7
Mode Inference for Prolog Programs
.... 36
8
Discussion
.... 41
9
Conclusion
.... 44
End
.... 46
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports