|
|||||
|
|
| 面向对象编程体裁中继承机制语义的Γ_(γω)理论描述:多重继承 | |
| 引用本文： | 江明德,奥契塔,山岭.面向对象编程体裁中继承机制语义的Γ_(γω)理论描述:多重继承[J].计算机学报,1992(2). |
| 作者姓名： | 江明德 奥契塔 山岭 |
| 作者单位： | 电子科技大学计算机系，电子科技大学计算机系，电子科技大学计算机系 成都 610054，成都 610054，成都 610054 |
| 基金项目： | 国家高技术研究发展计划基金 |
| 摘 要： | _(γω)理论是一种一阶数学理论,它融合γω演算与谓词演算于一体.本文运用_(γω)理论来描述面向对象编程体裁(00PP)中一种多重继承机制的语义,它象公理语义一样抓住了(语义)问题的本质._(γω)理论在这里起了公理语义学的作用.这种语义描述简明得象Prolog程序一样,并且可望得到多层次多体裁编程语言Lyusia的支持,变得可执行的,从而可用作验证程序正确性. |
| 关 键 词： | 面向对象编程 继承性 ?_(γω)理论 多重继承 Lyusia语言 程序验证 |
| 本文献已被 CNKI 等数据库收录！ | |