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. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论