A SEMANTICS FOR HYBRID OBJECT-ORIENTED PROLOG SYSTEMS

被引：0
|
作者：
MULLER, B
机构：
来源：
INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS | 1994年 / 51卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper gives a precise definition of the semantics of hybrid object-oriented Prolog systems, i. e. object-oriented languages with base language Prolog. The semantics is given by extending Borger's Prolog semantics [1], which is based on the evolving algebra approach. The semantics is both mathematically exact and practical in the sense that it directly reflects progammer's intuitions of objects, encapsulation, inheritance, messages, polymorphism, and dynamic binding.
引用
收藏
页码：428 / 433
页数：6
相关论文
共 50 条
12345