thestructureandsemanticsofanobjectorientedlogicprogramminglanguagescke

CSpace

	thestructureandsemanticsofanobjectorientedlogicprogramminglanguagescke
	Jin Z(金芝)
	1995
发表期刊	journalofcomputerscienceandtechnology
ISSN	1000-9000
卷号	010 期号:001 页码:74
摘要	The development of the object-oriented paradigm has suffered from the lack of any generally accepted formal foundations for its semantic definition.To address this issue,we propose the development of the logic-based semantics of the object-oriented paradigm.By combining the logic-with the object-oriented paradigm of computing first,this paper discusses formally the semantics of a quite purely object-oriented logic paradigm in terms of proof theory,model theory and fixpoint theory from the viewpoint of logic.The operational and declarative semantics is given.And then the correspondence between soundness and completeness has been discussed formally.
语种	英语
文献类型	期刊论文
条目标识符	http://ir.amss.ac.cn/handle/2S8OKBNM/46618
专题	中国科学院数学与系统科学研究院
作者单位	中国科学院数学与系统科学研究院
推荐引用方式 GB/T 7714	Jin Z. thestructureandsemanticsofanobjectorientedlogicprogramminglanguagescke[J]. journalofcomputerscienceandtechnology,1995,010(001):74.
APA	金芝.(1995).thestructureandsemanticsofanobjectorientedlogicprogramminglanguagescke.journalofcomputerscienceandtechnology,010(001),74.
MLA	金芝."thestructureandsemanticsofanobjectorientedlogicprogramminglanguagescke".journalofcomputerscienceandtechnology 010.001(1995):74.