thestructureandsemanticsofanobjectorientedlogicprogramminglanguagescke

	thestructureandsemanticsofanobjectorientedlogicprogramminglanguagescke
	Jin Z(金芝)
刊名	journalofcomputerscienceandtechnology
	1995
卷号	010 期号:001 页码:74
ISSN号	1000-9000
英文摘要	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.
语种	英语
内容类型	期刊论文
源URL	[http://ir.amss.ac.cn/handle/2S8OKBNM/46617]
专题	中国科学院数学与系统科学研究院
作者单位	中国科学院数学与系统科学研究院
推荐引用方式 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.