期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
The Structure and Semantics of an Object-Oriented Logic Programming Language: SCKE
1
作者 金芝 《Journal of Computer Science & Technology》 SCIE EI CSCD 1995年第1期74-84,共11页
The development of the object-oriented paradigm has suffered from the lackof any generally accepted formal foundations for its semantic definition. Toaddress this issue, we propose the development of the logic-based s... The development of the object-oriented paradigm has suffered from the lackof any generally accepted formal foundations for its semantic definition. Toaddress this issue, we propose the development of the logic-based semantics ofthe object-oriented paradigm. By combining the logic- with the object-orientedparadigm of computing first, this paper discusses formally the semantics of aquite purely object-oriented logic paradigm in terms of proof theory modeltheory and Aspoint theory from the viewpoint of logic. The operational anddeclarative semantics is given. And then the correspondence between soundnessand completeness has been discussed formally. 展开更多
关键词 Object-oriented paradigm logic paradigm INHERITANCE message passing proof theory Herbrand model fixpoint semantics
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部