面向对象编程体裁中继承机制语义的理论描述:多重继承

详细信息   全文下载|推荐本文 |

• 出版年：1992
• 作者：江明德；奥契塔；山岭
• 单位1：电子科技大学计算机系
• 职称：教授；讲师
• 语种：中文
• 作者关键词：面向对象编程；继承性；理论；多重继承；Lyusia语言；程序验证
• 起始页：111
• 总页数：9
• 刊名：计算机学报
• 是否内版：否
• 刊频：月刊
• 主编：董媪美
• 卷：15
• 期：2

摘要

理论是一种一阶数学理论，它融合rco演算与谓词演算于一体.本文运用理论来描述面向对象编程体裁（OOPP)中一种多重继承机制的语义，它象公理语义一样抓住了（语义）问题的本质.夕理在这里起了公理语义学的作用这种语义描述简明得象Prolog程序一样，并且可望得到多层次多体裁编程语言Lyusia的支持，变得可执行的，从而可用作验证程序正确性。