Contents of Report

[Data of Report]

Report Number:
TR0345
Date of Registration:
1988.02
English Title:
A New Declarative Semantics of Flat Guarded Horn Clauses
Japanese Title:
***
English Author:
Giorgio Levi
Japanese:
***
Name of Organization to which author belongs:
Universita di Pisa
PDF:
tr0345.pdf

[Contents]

Abstract.... 2
1The Language FGHC(Flat Guarded Horn Clauses).... 3
2Constrained Unification and Commitment.... 4
3The Strong Normal Form.... 6
4Towards a Notion of Model for FGHC Programs.... 8
5The Model Theoretic Semantics.... 14
6Fixpoint Semantics.... 20
7Soundness and Completeness Properties.... 24
8Unfolding.... 25
9Open Problems.... 30
Acknowledgements.... 31
References.... 31
End.... 33

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

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports