Contents of Report

[Data of Report]

Report Number:: TM1275
Date of Registration:: 1993.07
English Title:: Procedual Semantics of a DOOD Programming Language Quixote
Japanese Title:: 演繹オブジェクト指向データベースQuixoteの手続き的意味論
English Author:: T.Nishioka,R.KOjima,H.Tsuda,K.Yokota
Japanese:: 西岡　利博,小島　量,津田　宏,横田　一正
Name of Organization to which author belongs:: MITSUBISHI,ICOT,ICOT,ICOT
PDF:: tm1275.pdf

[Contents]

	概要	.... 2
1	はじめに	.... 3
2	Quixote言語	.... 3
3	公理的意味論	.... 5
4	手続き的意味論	.... 6
5	実装との関係	.... 10
6	今後の課題	.... 11
7	まとめ	.... 11
	謝辞	.... 11
	参考文献	.... 11

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

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