Contents of Report

[Data of Report]

Report Number:
TM0160
Date of Registration:
1986.04
English Title:
On the Operational Semantics of Guarded Horn Clauses
Japanese Title:
***
English Author:
K.Ueda
Japanese:
***
Name of Organization to which author belongs:
ICOT
PDF:
tm0160.pdf

[Contents]

Abstract.... 2
1Introduction.... 2
2Three Direction Direction Towards the Semantics of GHC.... 3
3The Nondeterministic Unification(Semi-)Algorithm.... 6
4The Operational Semantics of GHC.... 15
5Conclusion.... 20
Acknowledgements.... 21
References.... 21
End.... 22

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

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